diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-13 12:10:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-13 12:10:05 +0200 |
| commit | 8c11f883d9c96b08d2dd4b6bc72caf0c9d9543c5 (patch) | |
| tree | 74540bc739c42fea9406b4ffe9239b2ee9f9e903 /platform/x11/key_mapping_x11.h | |
| parent | 41a62f3ac3e45eaa1dc5f6de7b72040eda983070 (diff) | |
| parent | 0823d783745994b9a03d21762a9d532a55d00b86 (diff) | |
Merge pull request #29129 from kis3lori/remove-save-theme-for-default
Created a fallback from the "Save Theme" button to "Save Theme As" when a default theme is in use.
Diffstat (limited to 'platform/x11/key_mapping_x11.h')
0 files changed, 0 insertions, 0 deletions