Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Merge "Find->Mark" and "Style token" highlighting

GerdB
2013-02-12
2013-02-17
  • GerdB
    GerdB
    2013-02-12

    Hi all,

    right now we have the "Find->Mark" and "Style token" functionalities to put highlights on specific text. However, these two options seem to be completely unrelated, i.e. highlights created using "Find->Mark" have to be removed by "Clear"-Button in Find Dialog while highlights from "Style token" are cleared by "Remove style".

    Wouldn't it make sense to merge these together so that a) "Find->Mark" allows to choose from the (then six) available styles to apply to the matches and b) allow "Style token" and "Remove style" to equally work on all styles?

    What do you think?

    Regards
    Gerd

     
  • cchris
    cchris
    2013-02-17

    Please drop a ticket on the feature request tracker...

    CChris