Changed caption of "Cancel" button to "Done".
Added ability to double click a highlighter name as a shortcut to clicking "Use" button.
Authored by: delphidabbler 2013-02-20
Parent: [r2797]
Child: [r2799]
