diff options
author | James Buck <jamesbuck11@gmail.com> | 2023-04-07 17:44:37 +0200 |
---|---|---|
committer | Yuri Sizov <yuris@humnom.net> | 2023-04-07 17:44:37 +0200 |
commit | 861399fbe58c05633cb51eaf381d976ed59e122a (patch) | |
tree | caf7295521500768e0a60d067f3bb1f6986ffafe /platform | |
parent | 1aa5fce3214323e1bfd25762acd3904304d360d1 (diff) |
Re-enable script editor File menu shortcuts when the menu is hidden
(cherry picked from commit de49bec30e8e2fc5881871a50f9222d90aacc24f)
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions