Hugo Locurcio
|
976b3e3284
|
Increase the source font's line spacing
This also increases line spacing in license texts in the editor's
About dialog.
|
2018-10-14 21:39:49 +02:00 |
|
Hugo Locurcio
|
9c1d4f9da2
|
Use more subtle indentation guides in the script editor
|
2018-10-03 00:00:25 +02:00 |
DualMatrix
|
4efcf9c943
|
Fixed syntax highlighting setting not being saved
Fixed syntax highlighting setting not being saved
|
2018-09-20 11:31:53 +02:00 |
willnationsdev
|
5436abefe4
|
Refactor editor icon retrieval
|
2018-09-14 09:27:56 -05:00 |
luz.paz
|
08bde5b2de
|
Misc. typos
Found via `codespell -q 3 -I ../godot-word-whitelist.txt --skip="./thirdparty,*.po"`
|
2018-09-12 21:39:17 -04:00 |
Paulb23
|
8ff747171f
|
Allow opening and editing of any utf_8 file in script editor
|
2018-07-22 11:55:56 +01:00 |