diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-14 17:12:15 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-14 17:12:15 +0100 |
commit | c30bebd1d3d10f705eae339a684e439edc052195 (patch) | |
tree | aa1a3cd550b5bd1ba6a18261230b841a2be16bc6 /scene/main | |
parent | ad29ee328d5d4f1e08fb20248aa4a8ae5fd6c380 (diff) | |
parent | 9234bd3ff9a3ff025368a1882ccfb91ca1b96ff1 (diff) |
Merge pull request #4017 from Paulb23/set_tab_size
Added configurable tab size in the text editor.
Diffstat (limited to 'scene/main')
0 files changed, 0 insertions, 0 deletions