Public Pastes
daily pastebin goal
37%
SHARE
TWEET

Untitled

a guest Dec 29th, 2016 59 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. var panel = new Panel
  2. var panelScreen = panel.screen
  3. var freeEdges = {"bottom": true, "top": true, "left": true, "right": true}
  4.  
  5. for (i = 0; i < panelIds.length; ++i) {
  6.     var tmpPanel = panelById(panelIds[i])
  7.     if (tmpPanel.screen == panelScreen) {
  8.         // Ignore the new panel
  9.         if (tmpPanel.id != panel.id) {
  10.             freeEdges[tmpPanel.location] = false;
  11.         }
  12.     }
  13. }
  14.  
  15. if (freeEdges["bottom"] == true) {
  16.     panel.location = "bottom";
  17. } else if (freeEdges["top"] == true) {
  18.     panel.location = "top";
  19. } else if (freeEdges["left"] == true) {
  20.     panel.location = "left";
  21. } else if (freeEdges["right"] == true) {
  22.     panel.location = "right";
  23. } else {
  24.     // There is no free edge, so leave the default value
  25.     panel.location = "top";
  26. }
  27.  
  28. panel.height = gridUnit * 2
  29.  
  30. var volume = panel.addWidget("org.kde.plasma.volume")
RAW Paste Data
Top