# HG changeset patch # User Shinji KONO # Date 1466146694 -32400 # Node ID c2323d1012d4c31eae95f80af7fd534d6037586f # Parent 9a938b714c6be249b0b693ca50e339ffd944253c fit Screen retina fix diff -r 9a938b714c6b -r c2323d1012d4 src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java --- a/src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java Fri Jun 17 10:39:39 2016 +0900 +++ b/src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java Fri Jun 17 15:58:14 2016 +0900 @@ -930,6 +930,7 @@ // treeeManager may have its parent } if (viewer.getRfb().hasParent()) { + System.out.println("send serverchange to parent"); String adr = viewer.getRfb().getMyAddress(); if (scanPort(adr, ConnectionParams.DEFAULT_RFB_PORT)) { // -1 means request to reverse direct connection socket @@ -995,8 +996,8 @@ final int thatScreenX = presenter.getX(); final int thatScreenY = presenter.getY(); int thatRetinaScale = presenter.getRetinaScale(); - final int thatScreenWidth = presenter.getFrameSizeWidth()* thatRetinaScale; - final int thatScreenHeight = presenter.getFrameSizeHeight()* thatRetinaScale; + final int thatScreenWidth = presenter.getFrameSizeWidth(); + final int thatScreenHeight = presenter.getFrameSizeHeight(); showScreenInfo("that", 0, thatScreenX, thatScreenY, thatScreenWidth, thatScreenHeight, thatRetinaScale); frame.setSize(thisScreenWidth, thisScreenHeight);