Menu ▾ ▴

#35 Toggle for Source Code Highlighting

Next Release
open
nobody
User Interface Improvements (general) (52)
5
2008-05-19
2008-05-16
Anonymous
No

Hi,
in the coverage view, it would be great to have a "no session" item in the select session button popup. I would like to "hide" with this feature the coverage annotations in the java editors.

Discussion

  • Marc R. Hoffmann

    Marc R. Hoffmann - 2008-05-18

    Logged In: YES
    user_id=1586594
    Originator: NO

    I agree that that it would be a good feature having a option to toggle the coverage highlighting in the source editors. But actually I prefer having a toggle button (either in the window or coverage view toolbar). This allows disabling the source highlighting while still having the session loaded in the coverage view.

     

  • Marc R. Hoffmann

    Marc R. Hoffmann - 2008-05-19
    • summary: [1.3.1] Ability to unselect any session in coverage view --> Toggle for Source Code Highlighting
     
MongoDB Logo MongoDB