Fix z-index definition for mask (cf. #8314)

Benjamin Renard
1 parent d2978a30
Showing 2 changed files with 13 additions and 9 deletions Show diff stats
desktop.php
js/resources/css/amda.css
@@ -118,16 +118,8 @@
                 if (interactivePlot)   
                     msg += ' <br/> <p align="center"><input id="killopBtn" type="button" value="Kill process" /></p>';
-                var mask = Ext.getBody().mask(msg);
+                var mask = Ext.getBody().mask(msg, 'amda-mask');
-                mask.dom.style.zIndex = '99998';
- 
-                var maskMsg = Ext.DomQuery.select('div[class=x-mask-msg]');
-                if (maskMsg)
-                    maskMsg = maskMsg[0];
-    
-                if (maskMsg)
-                    maskMsg.style.zIndex = '99999';
                 if (interactivePlot)
                 {
                     var killBtn = Ext.get('killopBtn');
@@ -587,3 +587,15 @@ p + p {
 	padding: 4px;
 	white-space: normal;
 }
+
+.amda-mask {
+	z-index: 99999;
+}
+
+.x-mask {
+    filter: alpha(opacity=50);
+    opacity: .5;
+    background: #ccc;
+    cursor: default;
+    z-index: 99998;
+}