1. Wait 10s before Hotspot monitor is enabled

zhourenjian · zhourenjian · commit 17aab3c6555d · 2007-06-20T00:16:44.000Z
2. Fixed bug that SWT.TOOL Shell is not correctly layout
diff --git a/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Decorations.java b/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Decorations.java
@@ -597,7 +597,11 @@ public void run() {
 			&& (style & (SWT.TITLE | SWT.MIN | SWT.MAX | SWT.CLOSE)) != 0) {
 		setSystemMenu();
 	}
-	contentHandle = createCSSDiv("shell-content");
+	String contentCSS = "shell-content";
+	if ((style & SWT.TOOL) != 0) {
+		contentCSS += " shell-tool";
+	}
+	contentHandle = createCSSDiv(contentCSS);
 	if (DragAndDrop.class != null) {
 		DragAndDrop dnd = new DragAndDrop();
 		dnd.addDragListener(new ShellFrameDND() {
@@ -2403,6 +2407,8 @@ protected boolean SetWindowPos(Object hWnd, Object hWndInsertAfter, int X, int Y
 		contentHandle.style.width = (width - dw > 0 ? width - dw : 0) + "px";
 		contentHandle.style.top = 3 + "px";
 		contentHandle.style.left = 1 + "px";
+		width += 4;
+		height += 4;
 	}
 	if ((style & SWT.BORDER) != 0) {
 		cx -= 4;
diff --git a/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Shell.css b/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Shell.css
@@ -38,6 +38,10 @@
 	/*background-color:navy;*/
 	z-index:3;
 }
+.shell-tool {
+	margin:1px !important;
+	margin-top:-1px !important;
+}
 .shell-menu-bar .shell-content {
 	top:44px;
 }
