Update font naming

This commit is contained in:
luboslenco
2020-03-16 10:42:20 +01:00
parent e68cd535b5
commit 56f21f5915
8 changed files with 3 additions and 2 deletions
+1 -1
View File
@@ -97,7 +97,7 @@ class App {
Krom.setSaveAndQuitCallback(saveAndQuitCallback);
#end
Data.getFont("font_default.ttf", function(f: Font) {
Data.getFont("font_ascii.ttf", function(f: Font) {
Data.getImage("color_wheel.k", function(image: Image) {
font = f;
theme = zui.Themes.dark;
+1 -1
View File
@@ -52,7 +52,7 @@ class TabScript {
var _font = ui.ops.font;
var _fontSize = ui.fontSize;
Data.getFont("font_mono.ttf", function(f: kha.Font) { ui.ops.font = f; }); // Sync
Data.getFont("font_mono_ascii.ttf", function(f: kha.Font) { ui.ops.font = f; }); // Sync
ui.fontSize = 15;
Ext.textArea(ui, hscript);
ui.ops.font = _font;
+1
View File
@@ -7,6 +7,7 @@ project.addLibrary("iron");
project.addLibrary("zui");
project.addShaders("Shaders/common/*.glsl", { noembed: false});
project.addAssets("Assets/common/*", { notinlist: true, destination: "data/{name}" });
project.addAssets("Assets/fonts/*", { notinlist: true, destination: "data/{name}" });
project.addAssets("Assets/licenses/*", { notinlist: true, destination: "data/licenses/{name}" });
project.addAssets("Assets/plugins/*", { notinlist: true, destination: "data/plugins/{name}" });
project.addAssets("Assets/themes/*", { notinlist: true, destination: "data/themes/{name}" });