Commit Graph

4 Commits

Author SHA1 Message Date
Juha
870e1c8e71 Menu designer: Forward typed keys from menu editor to OI. Add missing GPL headers. Issue #34231. 2023-04-22 15:17:20 +03:00
juha
20c5ac47c0 IDE: Use a faster compare method for case-insensitive strings and StringLists.
git-svn-id: trunk@64440 -
2021-01-29 19:59:04 +00:00
juha
3feac99f06 Designer, editor: Formatting.
git-svn-id: trunk@64302 -
2020-12-29 22:56:31 +00:00
juha
8536adb457 New files refactored from MenuShadows.
git-svn-id: trunk@51614 -
2016-02-13 12:58:47 +00:00