GUI: search
authorNiki Roo <niki@nikiroo.be>
Tue, 16 Apr 2019 16:53:41 +0000 (18:53 +0200)
committerNiki Roo <niki@nikiroo.be>
Tue, 16 Apr 2019 16:53:41 +0000 (18:53 +0200)
commit08e2185a6c13eb75e9b80e2523c0862959c88a13
treec92a3cb3e7d453856a480814809747b96a94c2c8
parented8cda22e3c10ae5a9de890547d39bb143f44983
GUI: search
src/be/nikiroo/fanfix/reader/ui/GuiReaderSearch.java
src/be/nikiroo/fanfix/reader/ui/GuiReaderSearchAction.java