godot.git/editor/plugins/script_editor_plugin.cpp, branch fix/use-bin-name Godot Engine – Multi-platform 2D and 3D game engine https://godotengine.org https://git.neuromancer.sk/godot.git/atom/editor/plugins/script_editor_plugin.cpp?h=fix%2Fuse-bin-name 2017-10-11T08:24:57Z fix script editor clear recent scripts crash 2017-10-11T08:24:57Z jagt 2017-10-11T08:24:57Z urn:sha1:21c2bf84e6e03bade272098d563cfd915aba0cf8 Consistant scroll when using members overview, issue 11648 2017-10-08T13:29:27Z Paulb23 2017-10-08T13:29:27Z urn:sha1:b07dfd75eaa3a89aefda9c26e33f91d8eaa80fc8 Added correct initialization for script editor theme. 2017-10-02T23:33:42Z Daniel J. Ramirez 2017-10-02T23:33:42Z urn:sha1:6d874ea685bb57e1c78b7c67f0af7feafc1b55d5 Some style fixes for VS interface. Fixed segfault on loading text editor theme 2017-09-17T13:19:38Z Paulb23 2017-09-17T13:19:38Z urn:sha1:a48dc9aa17308beb7395372751500925837841a5 Merge pull request #11253 from djrm/pr_better_docs 2017-09-14T10:06:36Z Rémi Verschelde 2017-09-14T10:06:36Z urn:sha1:8c08f2380d30e300f4f80dd292e9ff83f7bb84fd Improved editor docs Several fixed to editor doc. 2017-09-14T06:13:37Z Daniel J. Ramirez 2017-09-14T00:56:37Z urn:sha1:d21f20eb5fb6dab41f2afb2069a216c8973a294e Improved style Fixed editor help issues Added editor help index More consistent script color temperatures. 2017-09-13T19:07:05Z Daniel J. Ramirez 2017-09-13T19:07:05Z urn:sha1:7a362afb88f2e71e4d0be7c3c9afb23f1447e5a1 Fit script editor grid with others 2017-09-06T21:25:57Z volzhs 2017-09-06T21:25:57Z urn:sha1:41cc85fb201f2b83461a52300aeca9a2ac0b2bcc Merge pull request #10931 from djrm/pr_style_fixes 2017-09-04T20:50:54Z Rémi Verschelde 2017-09-04T20:50:54Z urn:sha1:bba365fab709c74dc404509c9f8843ea0841a158 Improved color temperature in script editor Merge pull request #10939 from neikeq/fix-overridden-external-editors 2017-09-04T06:12:29Z Rémi Verschelde 2017-09-04T06:12:29Z urn:sha1:b5d2d0a9a502416a03f303fc30bee8a7ec8e93e2 Fixes language overridden external editors