diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-22 00:04:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-22 00:04:11 +0200 |
commit | 9dd8d734826384ac123692f672a2c6e9a2b16377 (patch) | |
tree | a1188d6e0a687c964fbc59053d04397e535004cb /editor/icons/icon_mini_integer.svg | |
parent | e9c43cecbf9a75fe474a27011425ab072217d376 (diff) | |
parent | 58b2f441a70493ed561a017328b0ae079639413f (diff) |
Merge pull request #10427 from Hinsbart/fix_padding
TextEdit: Fix line padding triggering too early.
Diffstat (limited to 'editor/icons/icon_mini_integer.svg')
0 files changed, 0 insertions, 0 deletions