diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-13 12:54:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-13 12:54:43 +0100 |
| commit | a3915d85976e047bf70ba3951af4f3f845856223 (patch) | |
| tree | 910027a7884c562d97058c829183f1d075323ac9 /editor/icons/icon_pin.svg | |
| parent | 8b629bbcbe5da04fed8dd4828b79ca24c0f168e1 (diff) | |
| parent | 1cfc43421ee75304a63ef3905c0334f9d3faf302 (diff) | |
Merge pull request #17154 from Hinsbart/fix_text_editor_settings
ScriptEditor: Use EditorSettings instead of hardcoded values in constructor.
Diffstat (limited to 'editor/icons/icon_pin.svg')
0 files changed, 0 insertions, 0 deletions