diff options
| author | volzhs <volzhs@gmail.com> | 2018-01-08 04:07:47 +0900 |
|---|---|---|
| committer | volzhs <volzhs@gmail.com> | 2018-01-08 05:12:39 +0900 |
| commit | 797147bd4b25744ca75711e16243d053ca38f323 (patch) | |
| tree | 5e40afc1538ff6964c70177e9ac017eec7cfbfb2 /drivers | |
| parent | 8e8240450edc48f4fb379e593a4ef7f54ab656b7 (diff) | |
Set source code font with ttf, otf
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
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions