Activity
From 11/14/2018 to 11/23/2018
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. - 02:49 PM Revision 97986aa6: Remove instances of Gtk.idle_add() in favor of a trick I discovered for
- updating the UI inline.