Opened 11 years ago

Last modified 10 years ago

#469 new enhancement

Allow the user to change highlighting for a specific file

Reported by: szabgab Owned by:
Priority: major Milestone:
Component: editor Version: 0.40
Keywords: syntax highlighting, usability, direct manipulation Cc:


The same way as we allow the user to change the associated mime-type of a file (via View/View? Document As) we should also allow the user to change the highlighter of that single document.

Padre should remember this information through restart.

Change History (1)

comment:1 Changed 10 years ago by zenogantner

  • Keywords syntax highlighting usability direct manipulation added

Note: It would be nice if, additionally to the menu, this action would also be available by clicking the highlighter label in the status bar.

Note: See TracTickets for help on using tickets.