More restyling - workspace buttons

2025-03-01 10:36:34 +00:00 · 2015-07-13 15:08:17 +01:00
parent 5d8dae05c4
commit a1d7bb4208
7 changed files with 75 additions and 42 deletions
--- a/editor/js/ui/workspaces.js
+++ b/editor/js/ui/workspaces.js
@@ -85,9 +85,11 @@ RED.workspaces = (function() {
            id: "workspace-tabs",
            onchange: function(tab) {
                if (tab.type == "subflow") {
+                    $("#chart").css({"margin-top": "40px"});
                    $("#workspace-toolbar").show();
                } else {
                    $("#workspace-toolbar").hide();
+                    $("#chart").css({"margin-top": "0"});
                }
                var event = {
                    old: activeWorkspace