godot.git/editor/editor_fonts.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_fonts.cpp?h=3.0-stable 2018-01-07T20:12:39Z 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 Drop obsolete bitmap doc fonts 2018-01-05T00:23:55Z Rémi Verschelde 2018-01-05T00:23:55Z urn:sha1:34c988cfa92f19c232b65990704816ba1c7d2622 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. Merge pull request #15073 from volzhs/editor-custom-font 2018-01-03T09:44:19Z Rémi Verschelde 2018-01-03T09:44:19Z urn:sha1:edd78d54c4d8361d257aefb3734c4138f9f05590 Use .ttf or .otf file for editor custom font Update copyright statements to 2018 2018-01-01T13:40:47Z Rémi Verschelde 2018-01-01T13:40:08Z urn:sha1:b50a9114b105dafafdda8248a38653bca314a6f3 Happy new year to the wonderful Godot community! Fix text editor status font 2017-12-26T21:09:28Z volzhs 2017-12-26T21:09:28Z urn:sha1:056bc123f8186248c1869224a6a7afbfd23bfc51 mistake from https://github.com/godotengine/godot/commit/15986ea343#diff-e7b153431ed956907f3ee3ef07ac59dd Use .ttf or .otf file for editor custom font 2017-12-26T18:14:48Z volzhs 2017-12-26T18:14:48Z urn:sha1:2c8ebab93b8bc534c8960cbbf876c19c9ac71967 Merge pull request #13222 from Calinou/tweak-editor-help-font-sizes 2017-11-26T20:17:25Z Rémi Verschelde 2017-11-26T20:17:25Z urn:sha1:3b2e423c6f2acd14a13befd60dd45df4a244d55f Tweak editor help font sizes for better readability Tweak editor help font sizes for better readability 2017-11-24T18:57:02Z Hugo Locurcio 2017-11-23T22:13:02Z urn:sha1:a86db9b347a5e0169a010c587208c68c0417a4c7 Remove option for the rulers graduations font size 2017-11-24T15:11:03Z Gilles Roudiere 2017-11-24T15:11:03Z urn:sha1:2a0a56443d26804524d97d08d476ee10332df2d0