Skip to content

PR: Allow to set custom annotations in Editor (Preferences)#25924

Open
hprodh wants to merge 1 commit intospyder-ide:masterfrom
hprodh:custom_markups
Open

PR: Allow to set custom annotations in Editor (Preferences)#25924
hprodh wants to merge 1 commit intospyder-ide:masterfrom
hprodh:custom_markups

Conversation

@hprodh
Copy link
Copy Markdown
Contributor

@hprodh hprodh commented Apr 6, 2026

Description of Changes

I've added a field in the editor preferences to set custom annotations to be highlighted.

I tried to make a checkbox, then realized that refreshing the markups in the editor after clicking apply would be tricky, so I kept the functionality simple.
Probably the layout would benefit from a bit of redesign/alignment.

Issue(s) Resolved

Fixes #23617

Screenshot :
Screenshot from 2026-04-06 21-28-10

Affirmation

By submitting this Pull Request or typing my (user)name below,
I affirm the Developer Certificate of Origin
with respect to all commits and content included in this PR,
and understand I am releasing the same under Spyder's MIT (Expat) license.

I certify the above statement is true and correct:
hprodh

@hprodh hprodh changed the title Custom annotations in editor preferences dialog PR: Custom annotations in editor preferences dialog Apr 7, 2026
@ccordoba12 ccordoba12 changed the title PR: Custom annotations in editor preferences dialog PR: Allow to set custom annotations in Editor (Preferences) Apr 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feature request : add custom markup comments

1 participant