-
Committer:
eranif
-
Date:
2009-12-25 06:43:50 UTC
-
Revision ID:
svn-v4:9da81c78-c036-0410-9e1f-a2b0375e4b5a:trunk:3564
- changed the 'Bookmarks' margin name to 'Bookmarks & Breakpoints'
- Toggle Line Comment and Comment Selection now uses the default key accelerators Ctrl-/ and Ctrl-Shift-/
- Parser thread: exclude paths is now used properly