Commit Graph

27 Commits

Author SHA1 Message Date
Rémi Verschelde 34c988cfa9 Drop obsolete bitmap doc fonts 2018-01-05 01:23:55 +01:00
Rémi Verschelde e4213e66b2 Add missing copyright headers and fix formatting
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-05 01:22:23 +01:00
Rémi Verschelde edd78d54c4
Merge pull request #15073 from volzhs/editor-custom-font
Use .ttf or .otf file for editor custom font
2018-01-03 10:44:19 +01:00
Rémi Verschelde b50a9114b1 Update copyright statements to 2018
Happy new year to the wonderful Godot community!
2018-01-01 14:40:47 +01:00
volzhs 056bc123f8 Fix text editor status font
mistake from https://github.com/godotengine/godot/commit/15986ea343#diff-e7b153431ed956907f3ee3ef07ac59dd
2017-12-27 06:09:28 +09:00
volzhs 2c8ebab93b Use .ttf or .otf file for editor custom font 2017-12-27 03:14:48 +09:00
Rémi Verschelde 3b2e423c6f
Merge pull request #13222 from Calinou/tweak-editor-help-font-sizes
Tweak editor help font sizes for better readability
2017-11-26 21:17:25 +01:00
Hugo Locurcio a86db9b347
Tweak editor help font sizes for better readability 2017-11-24 19:57:02 +01:00
Gilles Roudiere 2a0a56443d Remove option for the rulers graduations font size 2017-11-24 16:11:03 +01:00
Daniel J. Ramirez 12251a3a15 Fix theme with custom font. 2017-11-09 20:45:18 -06:00
Daniel J. Ramirez e524cc7135 Fixed project manager and dialog fonts. 2017-11-09 19:38:48 -06:00
Poommetee Ketson 34ea271380 Merge pull request #11646 from djrm/pr_visual_improvements
Several visual improvements.
2017-10-02 23:49:44 +07:00
Andreas Haas 20eb17a685
EditorSettings: Move interface/ properties to interface/editor
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-29 18:52:56 +02:00
Daniel J. Ramirez 15986ea343 Several visual improvements.
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-28 15:00:43 -05:00
volzhs 79e506ff52 Add font size setting for output panel 2017-09-25 23:43:35 +09:00
Rémi Verschelde cd2ffdc672 Merge pull request #11309 from djrm/pr_hack_font
Changed Mononoki font to Hack font
2017-09-20 01:30:16 +02:00
Gilles Roudiere 335688ce78 Implements rulers 2017-09-17 23:19:05 +02:00
Daniel J. Ramirez 52c0550dd7 Changed Mononoki font to Hack font 2017-09-17 13:55:48 -05:00
Daniel J. Ramirez b17c801ee8 Changed source font to Mononoki. 2017-09-14 01:13:30 -05:00
Daniel J. Ramirez e298f931a6 Fixed some metrics (some issues caused by the new Noto Sans font).
plus other minor fixes
2017-09-03 01:49:31 -05:00
volzhs a4a4f6dada Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai 2017-08-31 21:49:48 +09:00
Rémi Verschelde bd282ff43f Use HTTPS URL for Godot's website in the headers 2017-08-27 14:16:55 +02:00
Poommetee Ketson e3998528e0 BuildSystem: generated files have .gen.extension 2017-06-25 07:55:01 +07:00
alexholly a3c90b0293 renamed all Rect2.pos to Rect2.position 2017-06-04 02:09:17 +02:00
Rémi Verschelde df61dc4b2b Add "Godot Engine contributors" copyright line 2017-04-08 00:11:42 +02:00
Rémi Verschelde 5dbf1809c6 A Whole New World (clang-format edition)
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 16:44:50 +01:00
Rémi Verschelde 49c065d29c Refactoring: rename tools/editor/ to editor/
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.
2017-03-05 14:21:25 +01:00