comparison src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java @ 317:3c63bc88383e

always fit screen, -d mode.
author oc
date Thu, 29 Jan 2015 13:29:02 +0900
parents e95cb9a3dd9b
children a237c7e3b7ca
comparison
equal deleted inserted replaced
316:53c1f1663ab7 317:3c63bc88383e
896 int singleWidth = viewer.getRfb().getSingleWidth(); 896 int singleWidth = viewer.getRfb().getSingleWidth();
897 int singleHeight = viewer.getRfb().getSingleHeight(); 897 int singleHeight = viewer.getRfb().getSingleHeight();
898 if (!viewer.getRfb().isTreeManager()) { 898 if (!viewer.getRfb().isTreeManager()) {
899 context.sendMessage(new RequestSingleDisplayWidth()); 899 context.sendMessage(new RequestSingleDisplayWidth());
900 } 900 }
901 double scalePercent = uiSettings.fitScreen(thisScreenWidth, thisScreenHeight, singleWidth, singleHeight);
902 frame.setSize(thisScreenWidth, thisScreenHeight); 901 frame.setSize(thisScreenWidth, thisScreenHeight);
902 uiSettings.fitScreen(thisScreenWidth, thisScreenHeight, singleWidth, singleHeight);
903 } 903 }
904 }); 904 });
905 kbdButtons.add(fitScreenButton); 905 kbdButtons.add(fitScreenButton);
906 906
907 ModifierButtonEventListener modifierButtonListener = new ModifierButtonEventListener(); 907 ModifierButtonEventListener modifierButtonListener = new ModifierButtonEventListener();
927 viewer.closeApp(); 927 viewer.closeApp();
928 } 928 }
929 }).setAlignmentX(JComponent.RIGHT_ALIGNMENT); 929 }).setAlignmentX(JComponent.RIGHT_ALIGNMENT);
930 930
931 setButtonsBarVisible(true, container); 931 setButtonsBarVisible(true, container);
932 }
933
934 public void fitScreen() {
935 ArrayList<Rectangle> rectangles = viewer.getScreenRectangles();
936 int leftScreenNumber = 0;
937 int thisScreenWidth = (int) rectangles.get(leftScreenNumber).getWidth();
938 int thisScreenHeight = (int) rectangles.get(leftScreenNumber).getHeight();
939
940 int singleWidth = viewer.getRfb().getSingleWidth();
941 int singleHeight = viewer.getRfb().getSingleHeight();
942 frame.setSize(thisScreenWidth, thisScreenHeight);
943 uiSettings.fitScreen(thisScreenWidth, thisScreenHeight, singleWidth, singleHeight);
932 } 944 }
933 945
934 private void shareSound(boolean isTreeManager, ProtocolContext context) throws SocketException, UnknownHostException { 946 private void shareSound(boolean isTreeManager, ProtocolContext context) throws SocketException, UnknownHostException {
935 viewer.getRfb().createSendSoundThread(viewer.getRfb()); 947 viewer.getRfb().createSendSoundThread(viewer.getRfb());
936 if (!isTreeManager) { 948 if (!isTreeManager) {