57 Commits

Author	SHA1	Message	Date
Paulb23	6c54cb8bff	Fix clone line undo history and extra new line, issue 21811	2018-11-04 18:33:16 +00:00
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