|
|
8b0726ef01
|
better find/replace (with highlighting of all occurrences) + more consistent error visualization
|
2025-11-15 13:14:57 +01:00 |
|
|
|
1bd801ce5d
|
less code duplication
|
2025-11-14 17:19:33 +01:00 |
|
|
|
970b9d850e
|
getting rid of some code duplication
|
2025-11-14 16:52:09 +01:00 |
|
