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.