Jan Peter Stotz f0a57e6714 case insensitive option for searches

2018-02-12 13:17:40 +01:00

..

libs

gui: add font selection dialog

2015-03-16 22:44:21 +03:00

src

case insensitive option for searches

2018-02-12 13:17:40 +01:00

build.gradle

gui: highlight words on double click (#210)

2018-01-18 22:43:20 +03:00