make help a little friendlier and cleaner

2020-04-03 15:32:16 -04:00 · 2020-04-03 15:32:16 -04:00 · 6ee4b1d4a3
commit 6ee4b1d4a3
parent 397d8a722b
4 changed files with 65 additions and 44 deletions
--- a/js/kiri-init.js
+++ b/js/kiri-init.js
@ -1560,7 +1560,6 @@ var gs_kiri_init = exports;
        UI.toolMetric.onclick = updateTool;
        UI.toolType.onchange = updateTool;

-        $('appname').onclick = API.help.show;
        $('apphelp').onclick = API.help.show;

        SPACE.platform.setSize(