diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-07-26 23:50:16 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-07-26 23:50:16 +0200 |
| commit | f8a2cb3e15a4fec3ce4929db36f73ca1cb8309f8 (patch) | |
| tree | 5d8c07aa9a8fc50aa7554cedd68fd2ff472c6139 /editor | |
| parent | 03e11c13bfb1649fc9cf9a460249bce5e7f07462 (diff) | |
Multiply TextEdit line spacing by the editor scale
This makes sure the default line spacing in the script editor
is consistent with the editor scale in use.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions