fonts
|
feat: Added find-replace to pattern editor (#1465)
|
2024-01-27 14:52:20 +01:00 |
lang
|
feat: Added find-replace to pattern editor (#1465)
|
2024-01-27 14:52:20 +01:00 |
layouts
|
feat: Implement Myers' diffing algorithm (#1508)
|
2024-01-21 18:39:13 +01:00 |
themes
|
impr: Update ImGui to use new shadows branch
|
2023-11-24 15:31:33 +01:00 |
tips.json
|
tips: Add tip about unicode symbols (#838)
|
2022-12-02 16:30:28 +01:00 |