File tree Expand file tree Collapse file tree 1 file changed +19
-1
lines changed
sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets Expand file tree Collapse file tree 1 file changed +19
-1
lines changed Original file line number Diff line number Diff line change @@ -48,7 +48,17 @@ public void shellClosed(ShellEvent e) {
48
48
Element el = document .getElementById ("_console_" );
49
49
if (el != null ) {
50
50
el .parentNode .removeChild (el );
51
- el .style .display = "none" ;
51
+ if (OS .isIE ) {
52
+ el .style .display = "block" ;
53
+ el .style .position = "absolute" ;
54
+ el .style .width = "200px" ;
55
+ el .style .height = "200px" ;
56
+ el .style .left = "-400px" ;
57
+ el .style .top = "-400px" ;
58
+ el .style .overflow = "hidden" ;
59
+ } else {
60
+ el .style .display = "none" ;
61
+ }
52
62
el .style .fontSize = "" ;
53
63
document .body .appendChild (el );
54
64
}
@@ -137,6 +147,14 @@ protected void createContents() {
137
147
} else {
138
148
el .parentNode .removeChild (el );
139
149
el .style .display = "" ;
150
+ if (OS .isIE ) {
151
+ el .style .position = "" ;
152
+ el .style .width = "" ;
153
+ el .style .height = "" ;
154
+ el .style .left = "" ;
155
+ el .style .top = "" ;
156
+ el .style .overflow = "" ;
157
+ }
140
158
}
141
159
el .style .fontSize = "10pt" ;
142
160
consoleWrapper .handle .appendChild (el );
You can’t perform that action at this time.
0 commit comments