Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-01-08 | Set source code font with ttf, otf | volzhs | |
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 | |||
2018-01-05 | Drop obsolete bitmap doc fonts | Rémi Verschelde | |
2018-01-05 | Add missing copyright headers and fix formatting | Rémi Verschelde | |
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. | |||
2018-01-03 | Merge pull request #15073 from volzhs/editor-custom-font | Rémi Verschelde | |
Use .ttf or .otf file for editor custom font | |||
2018-01-01 | Update copyright statements to 2018 | Rémi Verschelde | |
Happy new year to the wonderful Godot community! | |||
2017-12-27 | Fix text editor status font | volzhs | |
mistake from https://github.com/godotengine/godot/commit/15986ea343#diff-e7b153431ed956907f3ee3ef07ac59dd | |||
2017-12-27 | Use .ttf or .otf file for editor custom font | volzhs | |
2017-11-26 | Merge pull request #13222 from Calinou/tweak-editor-help-font-sizes | Rémi Verschelde | |
Tweak editor help font sizes for better readability | |||
2017-11-24 | Tweak editor help font sizes for better readability | Hugo Locurcio | |
2017-11-24 | Remove option for the rulers graduations font size | Gilles Roudiere | |
2017-11-09 | Fix theme with custom font. | Daniel J. Ramirez | |
2017-11-09 | Fixed project manager and dialog fonts. | Daniel J. Ramirez | |
2017-10-02 | Merge pull request #11646 from djrm/pr_visual_improvements | Poommetee Ketson | |
Several visual improvements. | |||
2017-09-29 | EditorSettings: Move interface/ properties to interface/editor | Andreas Haas | |
Fixes inconsistent behaviour where clicking on the "Interface" in the Editor Settings wouldn't collapse the category as is the case for all the other categories. | |||
2017-09-28 | Several visual improvements. | Daniel J. Ramirez | |
Added proper label sizing Improved text editor status bar Fixed some issues with ItemList and also some style fixes Added background to color picker samples (the mrcdk fix) Fixed slider ticks. Added VS breakpoint and error styleboxes. | |||
2017-09-25 | Add font size setting for output panel | volzhs | |
2017-09-20 | Merge pull request #11309 from djrm/pr_hack_font | Rémi Verschelde | |
Changed Mononoki font to Hack font | |||
2017-09-17 | Implements rulers | Gilles Roudiere | |
2017-09-17 | Changed Mononoki font to Hack font | Daniel J. Ramirez | |
2017-09-14 | Changed source font to Mononoki. | Daniel J. Ramirez | |
2017-09-03 | Fixed some metrics (some issues caused by the new Noto Sans font). | Daniel J. Ramirez | |
plus other minor fixes | |||
2017-08-31 | Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai | volzhs | |
2017-08-27 | Use HTTPS URL for Godot's website in the headers | Rémi Verschelde | |
2017-06-25 | BuildSystem: generated files have .gen.extension | Poommetee Ketson | |
2017-06-04 | renamed all Rect2.pos to Rect2.position | alexholly | |
2017-04-08 | Add "Godot Engine contributors" copyright line | Rémi Verschelde | |
2017-03-05 | A Whole New World (clang-format edition) | Rémi Verschelde | |
I can show you the code Pretty, with proper whitespace Tell me, coder, now when did You last write readable code? I can open your eyes Make you see your bad indent Force you to respect the style The core devs agreed upon A whole new world A new fantastic code format A de facto standard With some sugar Enforced with clang-format A whole new world A dazzling style we all dreamed of And when we read it through It's crystal clear That now we're in a whole new world of code | |||
2017-03-05 | Refactoring: rename tools/editor/ to editor/ | Rémi Verschelde | |
The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful. |