# HG changeset patch # User oc # Date 1420928923 -32400 # Node ID b8e8d84c86ec1a09072ff1d4c17db7740e93da75 # Parent 3d7ecf31037bf489dbd80638134862cafad848cb adjust hd size diff -r 3d7ecf31037b -r b8e8d84c86ec src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java --- a/src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java Sun Jan 11 07:22:07 2015 +0900 +++ b/src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java Sun Jan 11 07:28:43 2015 +0900 @@ -887,19 +887,18 @@ kbdButtons.add(screenButton); - JButton adjustHdSizeButton = buttonsBar.createButton("adjust-hd-size", "Adjust Hd Size", new ActionListener() { + final JButton adjustHdSizeButton = buttonsBar.createButton("adjust-hd-size", "Adjust Hd Size", new ActionListener() { @Override public void actionPerformed(ActionEvent e) { // adjustHdSizeButton.setSelected(false); if (viewer.getRfb().isTreeManager()) { System.out.println(viewer.getRfb().singleWidth); -// uiSettings.adjustHdSize(viewer.getRfb().singleWidth); + uiSettings.adjustHdSize(viewer.getRfb().singleWidth); return; } - System.out.println(viewer.getRfb().singleWidth); context.sendMessage(new RequestSingleDisplayWidth()); System.out.println(viewer.getRfb().singleWidth); -// uiSettings.adjustHdSize(viewer.getRfb().singleWidth); + uiSettings.adjustHdSize(viewer.getRfb().singleWidth); } }); kbdButtons.add(adjustHdSizeButton);