# HG changeset patch # User Nozomi Teruya # Date 1466509163 -32400 # Node ID d0ca1be5c47c7b1e1ebb9e45fb63eb0eb42ad925 # Parent e94489c9a0bb5e465b0a3a80cb2a915187a5eaa6 show debag message for 13inch retina diff -r e94489c9a0bb -r d0ca1be5c47c .idea/gradle.xml --- a/.idea/gradle.xml Tue Jun 21 11:24:04 2016 +0900 +++ b/.idea/gradle.xml Tue Jun 21 20:39:23 2016 +0900 @@ -12,6 +12,11 @@ + diff -r e94489c9a0bb -r d0ca1be5c47c src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java --- a/src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java Tue Jun 21 11:24:04 2016 +0900 +++ b/src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java Tue Jun 21 20:39:23 2016 +0900 @@ -998,17 +998,17 @@ int thatRetinaScale = presenter.getRetinaScale(); final int thatScreenWidth = viewer.getRfb().getSingleWidth(); final int thatScreenHeight = viewer.getRfb().getSingleHeight(); - // showScreenInfo("that", 0, thatScreenX, thatScreenY, thatScreenWidth, thatScreenHeight, thatRetinaScale); - // System.out.println("that FB x:" + viewer.getRfb().getContext().getFbWidth() + " y:" + viewer.getRfb().getContext().getFbHeight()); + showScreenInfo("that", 0, thatScreenX, thatScreenY, thatScreenWidth, thatScreenHeight, thatRetinaScale); + System.out.println("that FB x:" + viewer.getRfb().getContext().getFbWidth() + " y:" + viewer.getRfb().getContext().getFbHeight()); frame.setSize(thisScreenWidth, thisScreenHeight); double scale = uiSettings.fitScreen(thisScreenWidth, thisScreenHeight, thatScreenWidth, thatScreenHeight); // final Rectangle visible = new Rectangle((int)(thatScreenX*scale),(int)(thatScreenY*scale),(int)(thatScreenWidth*scale)-1,(int)(thatScreenHeight*scale)-1); - // showScreenInfo("this", thisScreenNumber, 0, 0,thisScreenWidth, thisScreenHeight, thisRetinaScale); + showScreenInfo("this", thisScreenNumber, 0, 0,thisScreenWidth, thisScreenHeight, thisRetinaScale); final int scrollx = (int)(thatScreenX * scale); final int scrolly = (int)(thatScreenY * scale); - // System.out.println("thisScrollScale: " + scale + " xmax:"+scroller.getHorizontalScrollBar().getMaximum() + " scrollx:"+scrollx); - // System.out.println("thisScrollScale: " + scale + " ymax:"+scroller.getVerticalScrollBar().getMaximum() + " scrolly:"+scrolly); + System.out.println("thisScrollScale: " + scale + " xmax:"+scroller.getHorizontalScrollBar().getMaximum() + " scrollx:"+scrollx); + System.out.println("thisScrollScale: " + scale + " ymax:"+scroller.getVerticalScrollBar().getMaximum() + " scrolly:"+scrolly); SwingUtilities.invokeLater(new Runnable() { public void run() { scroller.getHorizontalScrollBar().setValue(scrollx);