diff options
| author | Tomaž Vajngerl <tomaz.vajngerl@collabora.com> | 2015-11-13 11:01:37 +0100 |
|---|---|---|
| committer | Tomaž Vajngerl <tomaz.vajngerl@collabora.com> | 2015-11-13 11:40:33 +0100 |
| commit | 6636476cf06ccabc81fcc951f842a34a7f4b5840 (patch) | |
| tree | 8cb6e4f4269e8aa538d832946410f3bd73b61674 /android/Bootstrap/version.map | |
| parent | 319623a3345b5cb11f0d42c6e7781734ff1a3a40 (diff) | |
android: Add string searching + search toolbar
LOKit supports searching, but this was not implemented yet in the
Android GUI. This adds a bottom search toolbar where you can type
a search string + up/down search handles to search for the string
from the current cursor position.
Change-Id: Ia7461d2c6399c23201d2ea81f0b44c38533939a1
Diffstat (limited to 'android/Bootstrap/version.map')
0 files changed, 0 insertions, 0 deletions