Skip to content

Commit f2fbe13

Browse files
hansonrhansonr
hansonr
authored and
hansonr
committed
JFrame title bar off w-4 pixels
1 parent 43f0a74 commit f2fbe13

File tree

7 files changed

+3
-6
lines changed

7 files changed

+3
-6
lines changed

‎sources/net.sf.j2s.core/dist/swingjs/SwingJS-site.zip‎

28 Bytes
Binary file not shown.

‎sources/net.sf.j2s.core/dist/swingjs/timestamp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
20190320154313
1+
20190320160330

‎sources/net.sf.j2s.core/dist/swingjs/ver/3.2.4/SwingJS-site.zip‎

28 Bytes
Binary file not shown.

‎sources/net.sf.j2s.core/dist/swingjs/ver/3.2.4/timestamp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
20190320154313
1+
20190320160330

‎sources/net.sf.j2s.java.core/dist/SwingJS-site.zip‎

28 Bytes
Binary file not shown.

‎sources/net.sf.j2s.java.core/src/javax/swing/JComponent.java‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,6 @@
3030
import static javax.swing.ClientPropertyKey.JComponent_ANCESTOR_NOTIFIER;
3131
import static javax.swing.ClientPropertyKey.JComponent_INPUT_VERIFIER;
3232

33-
import java.applet.JSApplet;
3433
import java.awt.AWTEvent;
3534
import java.awt.AWTKeyStroke;
3635
import java.awt.Color;
@@ -70,9 +69,7 @@
7069

7170
import javajs.util.Lst;
7271
import sun.font.FontDesignMetrics;
73-
import swingjs.JSFocusPeer;
7472
import swingjs.JSGraphics2D;
75-
import swingjs.JSToolkit;
7673
import swingjs.JSUtil;
7774
import swingjs.plaf.JSComponentUI;
7875

‎sources/net.sf.j2s.java.core/src/swingjs/plaf/JSFrameUI.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -253,7 +253,7 @@ protected void closeFrame() {
253253
@Override
254254
protected void setInnerComponentBounds(int width, int height) {
255255
DOMNode.setStyles(closerWrap, "text-align", "right", "width", width + "px");
256-
DOMNode.setStyles(titleNode, "width", width + "px", "height", "20px");
256+
DOMNode.setStyles(titleNode, "width", (width-4) + "px", "height", "20px");
257257
}
258258

259259
@Override

0 commit comments

Comments
 (0)