Merge pull request #3 from ianbrunelli/master

Fixing an issue when a maximized window is closed.
AMDG2 · Nov 6, 2014 · 8de74e2 · 8de74e2
2 parents cb9d7ba + 70ad608
commit 8de74e2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 7 deletions.
diff --git a/[email protected]/extension.js b/[email protected]/extension.js
@@ -165,12 +165,6 @@ const WorkspaceManager = new Lang.Class({
 	},
 
 	_removeWindow: function(metaWorkspace, metaWindow) {
-		for(let i = 0 ; i < this._windowList.length ; i++)
-			if(this._windowList[i].equals(metaWindow)) {
-				this._windowList[i].destroy();
-				this._windowList.splice(i, 1);
-			}
-
 		this.updatePanelTransparency();
 	},
 

diff --git a/[email protected]/stylesheet.css b/[email protected]/stylesheet.css
@@ -15,6 +15,10 @@
 	icon-shadow: black 0px 3px 5px;
 }
 
+.panel-transparency .popup-menu-arrow {
+	icon-shadow: rgba(0,0,0,0.5) 0px 3px 5px;
+}
+
 .corner-transparency {
 	-panel-corner-background-color: rgba(0,0,0,0);
 	-panel-corner-border-color: transparent;
@@ -32,7 +36,7 @@
 
 .corner-gradient {
     background-color: transparent;
-    -panel-corner-radius: 0;
+    -panel-corner-radius: 6px;
 }
 
 .debug-label {