 Poommetee Ketson
|
34ea271380
Merge pull request #11646 from djrm/pr_visual_improvements
|
vor 7 Jahren |
 Andreas Haas
|
20eb17a685
EditorSettings: Move interface/ properties to interface/editor
|
vor 7 Jahren |
 Daniel J. Ramirez
|
15986ea343
Several visual improvements.
|
vor 7 Jahren |
 volzhs
|
79e506ff52
Add font size setting for output panel
|
vor 7 Jahren |
 Rémi Verschelde
|
cd2ffdc672
Merge pull request #11309 from djrm/pr_hack_font
|
vor 7 Jahren |
 Gilles Roudiere
|
335688ce78
Implements rulers
|
vor 7 Jahren |
|
Daniel J. Ramirez
|
52c0550dd7
Changed Mononoki font to Hack font
|
vor 7 Jahren |
|
Daniel J. Ramirez
|
b17c801ee8
Changed source font to Mononoki.
|
vor 7 Jahren |
|
Daniel J. Ramirez
|
e298f931a6
Fixed some metrics (some issues caused by the new Noto Sans font).
|
vor 7 Jahren |
|
volzhs
|
a4a4f6dada
Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai
|
vor 7 Jahren |
|
Rémi Verschelde
|
bd282ff43f
Use HTTPS URL for Godot's website in the headers
|
vor 7 Jahren |
|
Poommetee Ketson
|
e3998528e0
BuildSystem: generated files have .gen.extension
|
vor 7 Jahren |
 alexholly
|
a3c90b0293
renamed all Rect2.pos to Rect2.position
|
vor 7 Jahren |
|
Rémi Verschelde
|
df61dc4b2b
Add "Godot Engine contributors" copyright line
|
vor 7 Jahren |
|
Rémi Verschelde
|
5dbf1809c6
A Whole New World (clang-format edition)
|
vor 7 Jahren |
|
Rémi Verschelde
|
49c065d29c
Refactoring: rename tools/editor/ to editor/
|
vor 7 Jahren |
