summaryrefslogtreecommitdiff
path: root/editor/editor_fonts.cpp
AgeCommit message (Expand)Author
2018-01-03Merge pull request #15073 from volzhs/editor-custom-fontRémi Verschelde
2018-01-01Update copyright statements to 2018Rémi Verschelde
2017-12-27Fix text editor status fontvolzhs
2017-12-27Use .ttf or .otf file for editor custom fontvolzhs
2017-11-26Merge pull request #13222 from Calinou/tweak-editor-help-font-sizesRémi Verschelde
2017-11-24Tweak editor help font sizes for better readabilityHugo Locurcio
2017-11-24Remove option for the rulers graduations font sizeGilles Roudiere
2017-11-09Fix theme with custom font.Daniel J. Ramirez
2017-11-09Fixed project manager and dialog fonts.Daniel J. Ramirez
2017-10-02Merge pull request #11646 from djrm/pr_visual_improvementsPoommetee Ketson
2017-09-29EditorSettings: Move interface/ properties to interface/editorAndreas Haas
2017-09-28Several visual improvements.Daniel J. Ramirez
2017-09-25Add font size setting for output panelvolzhs
2017-09-20Merge pull request #11309 from djrm/pr_hack_fontRémi Verschelde
2017-09-17Implements rulersGilles Roudiere
2017-09-17Changed Mononoki font to Hack fontDaniel J. Ramirez
2017-09-14Changed source font to Mononoki.Daniel J. Ramirez
2017-09-03Fixed some metrics (some issues caused by the new Noto Sans font).Daniel J. Ramirez
2017-08-31Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thaivolzhs
2017-08-27Use HTTPS URL for Godot's website in the headersRémi Verschelde
2017-06-25BuildSystem: generated files have .gen.extensionPoommetee Ketson
2017-06-04renamed all Rect2.pos to Rect2.positionalexholly
2017-04-08Add "Godot Engine contributors" copyright lineRémi Verschelde
2017-03-05A Whole New World (clang-format edition)Rémi Verschelde
2017-03-05Refactoring: rename tools/editor/ to editor/Rémi Verschelde