Changes between Initial Version and Version 1 of Ticket #6764, comment 6


Ignore:
Timestamp:
2011-09-02T15:01:50+02:00 (15 years ago)
Author:
xeen

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6764, comment 6

    initial v1  
    55* use attached patch, get highlighting definitely wrong in some cases (see comments in patch)
    66
    7 I'm not sure which option is best. Aside of that, the selection highlighting does not honor the ALT key, but that's a different bug.
     7I'm not sure which option is best. Aside of that, the selection highlighting does not honor the ALT key, but that's bug #6766.