add api control of ruler font color and size

2020-11-10 11:17:51 -05:00 · 2020-11-10 11:17:51 -05:00 · 9322f64b52
commit 9322f64b52
parent e43cc7c97a
2 changed files with 24 additions and 3 deletions
--- a/src/kiri/main.js
+++ b/src/kiri/main.js
@ -104,7 +104,8 @@
        update_selected: platformUpdateSelected,
        load_files: platformLoadFiles,
        group: platformGroup,
-        group_done: platformGroupDone
+        group_done: platformGroupDone,
+        set_font: SPACE.platform.setFont
    };

    const color = {