Main

11/25/2018

03:15 PM Revision f1c0c262: Started working on a custom search dialog. The old one is still in place

until I finish working on the new one. David Sorber

11/23/2018

03:47 PM Revision 328af46c: Minor but important search usability improvements. Adding case

insensitive searching and removal of previous marks before starting a
new search. David Sorber

02:49 PM Revision 97986aa6: Remove instances of Gtk.idle_add() in favor of a trick I discovered for

updating the UI inline. David Sorber