|
|
8a5574e336
|
various fixes for windows
|
2021-11-02 20:29:19 +01:00 |
|
|
|
a18f09b5f3
|
fix method name
|
2021-10-31 09:50:22 +01:00 |
|
|
|
aee0ff9968
|
add dialog to manage highlighters
- no support for "no color"
- settings not saved to disk
|
2021-10-30 16:25:34 +02:00 |
|
|
|
bc8f9b006d
|
store font size in settings file
|
2021-10-29 09:21:46 +02:00 |
|
|
|
cdd382858a
|
highlight matches
|
2021-10-28 10:22:15 +02:00 |
|
|
|
a0e6c24098
|
reset search hits when entering empty or invalid query
|
2021-10-28 09:48:38 +02:00 |
|
|
|
ce840819b2
|
try to fix ui freeze when filtering huge files
|
2021-10-28 08:45:24 +02:00 |
|
|
|
e426b816ef
|
add cancel button
|
2021-10-27 19:16:57 +02:00 |
|
|
|
3319ae4876
|
watch for file changes
|
2021-10-27 18:42:48 +02:00 |
|
|
|
5a4299ef84
|
remove tmp file when closing tab
|
2021-10-27 09:00:44 +02:00 |
|
|
|
1d8cd3dce5
|
support ignore case and regex filters
|
2021-10-27 08:44:20 +02:00 |
|
|
|
28d3775b94
|
filtering without auto refresh
|
2021-10-27 08:05:18 +02:00 |
|
|
|
f9434b4c1d
|
prepare filtering
|
2021-10-26 18:51:32 +02:00 |
|
