add pinned log spinner

2022-03-31 20:45:49 -04:00 · 2022-03-31 20:45:49 -04:00 · 262a86cd2e
commit 262a86cd2e
parent 2065e54213
5 changed files with 32 additions and 5 deletions
--- a/src/main/mesh.js
+++ b/src/main/mesh.js
@ -317,7 +317,7 @@ function space_init(data) {
                    if (shiftKey) return api.tool.regroup();
                    return api.grid();
                case 'KeyL':
-                    return api.log.toggle();
+                    return api.log.toggle({ spinner: false });
                case 'KeyS':
                    if (shiftKey) return selection.visible({toggle:true});
                    return call.edit_split();