File indexing completed on 2024-06-09 05:29:50
0001 var panel = new Panel 0002 var panelScreen = panel.screen 0003 var freeEdges = {"bottom": true, "top": true, "left": true, "right": true} 0004 0005 for (i = 0; i < panelIds.length; ++i) { 0006 var tmpPanel = panelById(panelIds[i]) 0007 if (tmpPanel.screen == panelScreen) { 0008 // Ignore the new panel 0009 if (tmpPanel.id != panel.id) { 0010 freeEdges[tmpPanel.location] = false; 0011 } 0012 } 0013 } 0014 0015 if (freeEdges["bottom"] == true) { 0016 panel.location = "bottom"; 0017 } else if (freeEdges["top"] == true) { 0018 panel.location = "top"; 0019 } else if (freeEdges["left"] == true) { 0020 panel.location = "left"; 0021 } else if (freeEdges["right"] == true) { 0022 panel.location = "right"; 0023 } else { 0024 // There is no free edge, so leave the default value 0025 panel.location = "top"; 0026 } 0027 0028 panel.height = gridUnit * 2