GUI: disable search for now
authorNiki Roo <niki@nikiroo.be>
Thu, 11 Apr 2019 05:36:13 +0000 (07:36 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 11 Apr 2019 05:36:13 +0000 (07:36 +0200)
commit6d9ddecc2037127390dc44b03a3644679f2f2145
tree5dfaa7d7d8a29186d41f725f833b489019c6985d
parent99e1c5ecb58120aed9d3d0f3241f1f602e2b6931
GUI: disable search for now
src/be/nikiroo/fanfix/reader/ui/GuiReaderFrame.java