Allow the user to change highlighting for a specific file
|Reported by:||szabgab||Owned by:|
|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.