Free cookie consent management tool by TermsFeed Policy Generator

Changeset 11657

Timestamp:
12/04/14 17:14:01 (11 years ago)
Author:
jkarder
Message:

#2262: applied some of the changes suggested by swagner in comment:17:ticket:2262

  • added highlighting of current line
  • added error markers and bookmarks
  • fixed <Ctrl> + <Backspace> bug
  • minor code changes
(No files)

Note: See TracChangeset for help on using the changeset viewer.