 Rémi Verschelde
|
b16c309f82
Update copyright statements to 2019
|
6 سال پیش |
 Hugo Locurcio
|
fd89464d45
Add a property to control DynamicFont anti-aliasing
|
6 سال پیش |
|
Rémi Verschelde
|
62ecb44035
Fix warning about functions defined but not used [-Wunused-function]
|
6 سال پیش |
 volzhs
|
1dc6d47df9
Add Hindi font for editor
|
6 سال پیش |
 Alexander-Alekseev
|
38887d1a52
Fallback to default font if main/code font path doesn't exist
|
6 سال پیش |
 toger5
|
29216b2bad
added bold font to editor (support for coustom bold font)
|
7 سال پیش |
|
Hugo Locurcio
|
c1544c12ef
Add an hinting mode setting to DynamicFonts
|
7 سال پیش |
|
volzhs
|
797147bd4b
Set source code font with ttf, otf
|
7 سال پیش |
|
Rémi Verschelde
|
34c988cfa9
Drop obsolete bitmap doc fonts
|
7 سال پیش |
|
Rémi Verschelde
|
e4213e66b2
Add missing copyright headers and fix formatting
|
7 سال پیش |
|
Rémi Verschelde
|
edd78d54c4
Merge pull request #15073 from volzhs/editor-custom-font
|
7 سال پیش |
|
Rémi Verschelde
|
b50a9114b1
Update copyright statements to 2018
|
7 سال پیش |
|
volzhs
|
056bc123f8
Fix text editor status font
|
7 سال پیش |
|
volzhs
|
2c8ebab93b
Use .ttf or .otf file for editor custom font
|
7 سال پیش |
|
Rémi Verschelde
|
3b2e423c6f
Merge pull request #13222 from Calinou/tweak-editor-help-font-sizes
|
7 سال پیش |
|
Hugo Locurcio
|
a86db9b347
Tweak editor help font sizes for better readability
|
7 سال پیش |
 Gilles Roudiere
|
2a0a56443d
Remove option for the rulers graduations font size
|
7 سال پیش |
 Daniel J. Ramirez
|
12251a3a15
Fix theme with custom font.
|
7 سال پیش |
|
Daniel J. Ramirez
|
e524cc7135
Fixed project manager and dialog fonts.
|
7 سال پیش |
 Poommetee Ketson
|
34ea271380
Merge pull request #11646 from djrm/pr_visual_improvements
|
7 سال پیش |
 Andreas Haas
|
20eb17a685
EditorSettings: Move interface/ properties to interface/editor
|
7 سال پیش |
|
Daniel J. Ramirez
|
15986ea343
Several visual improvements.
|
7 سال پیش |
|
volzhs
|
79e506ff52
Add font size setting for output panel
|
7 سال پیش |
|
Rémi Verschelde
|
cd2ffdc672
Merge pull request #11309 from djrm/pr_hack_font
|
7 سال پیش |
 Gilles Roudiere
|
335688ce78
Implements rulers
|
7 سال پیش |
|
Daniel J. Ramirez
|
52c0550dd7
Changed Mononoki font to Hack font
|
7 سال پیش |
|
Daniel J. Ramirez
|
b17c801ee8
Changed source font to Mononoki.
|
7 سال پیش |
|
Daniel J. Ramirez
|
e298f931a6
Fixed some metrics (some issues caused by the new Noto Sans font).
|
7 سال پیش |
|
volzhs
|
a4a4f6dada
Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai
|
7 سال پیش |
|
Rémi Verschelde
|
bd282ff43f
Use HTTPS URL for Godot's website in the headers
|
7 سال پیش |
