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