Jan Peter Stotz c134837ca6 pagination for search results.

2018-02-12 16:20:12 +01:00

..

libs

gui: add font selection dialog

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

src

pagination for search results.

2018-02-12 16:20:12 +01:00

build.gradle

gui: highlight words on double click (#210)

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