Test browser.css and treat Ctrl key specially in ShellManager.

jossonsmith · jossonsmith · commit bfe070570778 · 2007-01-19T19:27:40.000Z
diff --git a/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/browser/Browser.css b/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/browser/Browser.css
@@ -7,3 +7,6 @@
 * html .browser-default {
 	border:2px solid menu;
 }
+.swt-browser-browser {
+	width:324px;
+}
diff --git a/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/ShellManager.js b/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/ShellManager.js
@@ -38,12 +38,12 @@ sm.initialize = function () {
 		var sidebar = ShellManager.sidebarEl;
 		if (sidebar.style.display != "none" && !ShellManager.isAroundSideBar (e.clientY)) {
 			sidebar.style.display = "none";
-		} else if (e.clientX <= 8) {
+		} else if (e.clientX <= 8 && !e.ctrlKey) {
 			if (sidebar.style.display != "block" && ShellManager.isAroundSideBar (e.clientY)) {
 				sidebar.style.display = "block";
 				ShellManager.updateItems ();
 			}
-		} else if (e.clientX > 200) {
+		} else if (e.clientX > 200 || e.ctrlKey) {
 			if (sidebar.style.display != "none") {
 				sidebar.style.display = "none";
 			}
@@ -55,12 +55,12 @@ sm.initialize = function () {
 		if (topbar.style.display != "none" && !ShellManager.isAroundTopBar (e.clientX)) {
 			topbar.style.display = "none";
 			ShellManager.returnTopMaximized ();
-		} else if (e.clientY <= 8) {
+		} else if (e.clientY <= 8 && !e.ctrlKey) {
 			if (topbar.style.display != "block" && ShellManager.isAroundTopBar (e.clientX)) {
 				topbar.style.display = "block";
 				ShellManager.updateTopMaximized ();
 			}
-		} else if (e.clientY > 32) {
+		} else if (e.clientY > 32 || e.ctrlKey) {
 			if (topbar.style.display != "none") {
 				topbar.style.display = "none";
 				ShellManager.returnTopMaximized ();

Original file line number	Diff line number	Diff line change
`@@ -7,3 +7,6 @@`
`7`	`7`	`* html .browser-default {`
`8`	`8`	`border:2px solid menu;`
`9`	`9`	`}`
	`10`	`+.swt-browser-browser {`
	`11`	`+ width:324px;`
	`12`	`+}`