gui: add a Properties page
authorNiki Roo <niki@nikiroo.be>
Thu, 14 Mar 2019 21:10:08 +0000 (22:10 +0100)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 Mar 2019 21:10:08 +0000 (22:10 +0100)
commitdf6e2d88153be63b85aa8c0dfd4dae47762b6f0e
treec74023cc8c820b86b327129df4b6eb5066144d5b
parente87071039531d19e3b075365b7c7d7b80768b996
gui: add a Properties page
src/be/nikiroo/fanfix/reader/BasicReader.java
src/be/nikiroo/fanfix/reader/tui/TuiReaderStoryWindow.java
src/be/nikiroo/fanfix/reader/ui/GuiReaderBook.java
src/be/nikiroo/fanfix/reader/ui/GuiReaderFrame.java