August 19, 2011 at 2:43 am #9562
Deipotent
Participant
Re. Marker dialog:
– Add Apply button so new settings can be applied without closing dialog
– Maybe update highlighting in document when colour changed on dialog
– No option to wrap search past end of document – you could make this per marker rather than global for all markers.