godot.git/editor/editor_settings.cpp, branch 3.0-stable Godot Engine – Multi-platform 2D and 3D game engine https://godotengine.org https://git.neuromancer.sk/godot.git/atom/editor/editor_settings.cpp?h=3.0-stable 2018-01-24T21:52:49Z maximum recent files increment fix 2018-01-24T21:52:49Z Razah 2018-01-24T21:52:49Z urn:sha1:3455e43a134e8e44e39f968d7a5376f78ba264a1 Properly save the new save safe setting, avoid crash. 2018-01-12T20:18:40Z Juan Linietsky 2018-01-12T20:18:40Z urn:sha1:702e28f2657b3b0f50c1e118caf207c0a438f8f1 Bind many more properties to scripts 2018-01-11T22:58:14Z Bojidar Marinov 2018-01-11T22:35:12Z urn:sha1:9b8e8b2220b4e2bac3310262d3d1cd7a8eb3b0a5 Notable potentially breaking changes: - PROPERTY_USAGE_NOEDITOR is now PROPERTY_USAGE_STORAGE | PROPERTY_USAGE_NETWORK, without PROPERTY_USAGE_INTERNAL - Some properties were renamed, and sometimes even shadowed by new ones - New getter methods (some virtual) were added Fix bindings of EditorSettings.set_initial_value 2018-01-09T15:52:46Z Rémi Verschelde 2018-01-09T15:52:46Z urn:sha1:52165fa12de7ca76898a7c1855a2f23797b2c2ed Also ran doctool. Merge pull request #15458 from volzhs/fix-editor-settings-1 2018-01-08T09:55:09Z Rémi Verschelde 2018-01-08T09:55:09Z urn:sha1:8f814e44bc325970dc4ffcd3588b76369fb7ec07 Fix editor setting value is back to default Merge pull request #15457 from volzhs/custom-font-source-code 2018-01-08T07:07:13Z Rémi Verschelde 2018-01-08T07:07:13Z urn:sha1:a385460a6eebbe142f482edca78a9542a4a15be8 Set source code font with ttf, otf Set source code font with ttf, otf 2018-01-07T20:12:39Z volzhs 2018-01-07T19:07:47Z urn:sha1:797147bd4b25744ca75711e16243d053ca38f323 renamed interface/editor/custom_font to interface/editor/main_font moved text_editor/theme/font to interface/editor/code_font renamed interface/editor/font_size to interface/editor/main_font_size renamed interface/editor/source_code_size to interface/editor/code_font_size Fix editor setting value is back to default 2018-01-07T19:56:40Z volzhs 2018-01-07T19:39:38Z urn:sha1:93a6be0320e74f3a6524b1c1eefd8a05ff58cac5 Fix #15449 Fix editor settings weird behavior 2018-01-06T11:54:00Z volzhs 2018-01-06T11:40:43Z urn:sha1:6ad43757adbfad0163e639e8425aeaddc6e38018 Add missing copyright headers and fix formatting 2018-01-05T00:22:23Z Rémi Verschelde 2018-01-04T23:50:27Z urn:sha1:e4213e66b2dd8f5a87d8cf5015ac83ba3143279d Using `misc/scripts/fix_headers.py` on all Godot files. Some missing header guards were added, and the header inclusion order was fixed in the Bullet module.