chrox ec1d9e4b7d partial refresh after deleting highlights ... This should fix #1558.		2015-07-05 01:53:47 +08:00
..
filemanager	add datastorage module to handle data directory on various platform	2015-06-15 16:56:27 +08:00
opdscatalog	Switch a few widgets to ui refresh modes	2015-04-26 20:07:17 +02:00
reader	partial refresh after deleting highlights	2015-07-05 01:53:47 +08:00