René Stadler
|
390262a363
|
Cleanup whitespace
|
2014-09-11 20:51:45 +02:00 |
|
René Stadler
|
0eb58cff84
|
Restore search to a consistent state when showing the search bar again
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
cd378c7302
|
Add accelerators to search result navigation actions
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
14f91ccecf
|
Fix search result navigation action sensitivity when showing the find bar
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
f8da21fb46
|
Add search navigation menu items to view menu
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
ca40c5e58a
|
Implement backward search result navigation
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
d6240e93a7
|
Remove dead/useless code
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
a176ca7797
|
Rename variable
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
cf5badd4f4
|
Implement lazy searching
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
c0bb774c43
|
Some search fixes
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
ec713b827c
|
Add status label to find bar
|
2014-09-11 20:51:43 +02:00 |
|
René Stadler
|
68fd8fc604
|
Improve method to update log view after search text change
|
2014-09-11 20:51:42 +02:00 |
|
René Stadler
|
0beee4cf4f
|
Remove dead code
|
2014-09-11 20:51:42 +02:00 |
|
René Stadler
|
c749df8574
|
Rename show-find-bar action callback handler
|
2014-09-11 20:51:42 +02:00 |
|
René Stadler
|
89f8ebe0cf
|
Implement lazy highlighting of search results
|
2014-09-11 20:51:42 +02:00 |
|
René Stadler
|
d4dcc1be13
|
Move search matching logic into the SearchOperation object
|
2014-09-11 20:51:42 +02:00 |
|
René Stadler
|
a9fd7fe84c
|
Add search result navigation
|
2014-09-11 20:51:42 +02:00 |
|
René Stadler
|
cb6d082f19
|
Speed up immediate search results by setting search start position
|
2014-09-11 20:51:40 +02:00 |
|
René Stadler
|
b9156160e3
|
Add basic search highlighting
|
2014-09-11 20:51:40 +02:00 |
|
René Stadler
|
d4237c5600
|
Save state of timeline visibility
|
2014-09-11 20:51:39 +02:00 |
|
René Stadler
|
04d8c6c806
|
Add very simple search bar
|
2014-09-11 20:51:39 +02:00 |
|