|
|
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 |
|
