diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-28 10:07:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-28 10:07:08 +0200 |
commit | 82d1265185d27a7520167b1dd3955787bcc35bb1 (patch) | |
tree | 59fd0eaffd2fc66ee6075cb086ee710ae240b64f /editor/editor_themes.h | |
parent | 80165210c31b79e12e2a59e481232ae7eeccbfac (diff) | |
parent | 3800e7d2ba154f1355c62e86d9fe2addc53c37e5 (diff) |
Merge pull request #42376 from Calinou/editorspinslider-comma-decimal
Allow using a comma as decimal separator in EditorSpinSlider
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions