Mercurial > hg > Members > riono > TreeVNC_ja_comment

comparison src/viewer_swing/java/com/glavsoft/viewer/swing/SwingViewerWindow.java @ 320:a237c7e3b7ca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
change class name, change value thread join time
author oc
date Sat, 31 Jan 2015 00:11:15 +0900
parents 3c63bc88383e
children 345185ef630e
comparison
equal deleted inserted replaced
319:f2b835466a24 320:a237c7e3b7ca
869 869
870 final JButton adjustHdSizeButton = buttonsBar.createButton("adjust-hd", "Adjust Hd Size", new ActionListener() { 870 final JButton adjustHdSizeButton = buttonsBar.createButton("adjust-hd", "Adjust Hd Size", new ActionListener() {
871 @Override 871 @Override
872 public void actionPerformed(ActionEvent e) { 872 public void actionPerformed(ActionEvent e) {
873 // adjustHdSizeButton.setSelected(false); 873 // adjustHdSizeButton.setSelected(false);
874 // この時点で取れてきてるはず・・・！
874 int singleWidth = viewer.getRfb().getSingleWidth(); 875 int singleWidth = viewer.getRfb().getSingleWidth();
875 int singleHeight = viewer.getRfb().getSingleHeight();
876 if (viewer.getRfb().isTreeManager()) {
877 System.out.println(singleWidth);
878 uiSettings.adjustHdSize(singleWidth);
879 return;
880 }
881 context.sendMessage(new RequestSingleDisplayWidth());
882 System.out.println(singleWidth);
883 uiSettings.adjustHdSize(singleWidth); 876 uiSettings.adjustHdSize(singleWidth);
884 } 877 }
885 }); 878 });
886 kbdButtons.add(adjustHdSizeButton); 879 kbdButtons.add(adjustHdSizeButton);
887 880
894 int thisScreenHeight = (int) rectangles.get(leftScreenNumber).getHeight(); 887 int thisScreenHeight = (int) rectangles.get(leftScreenNumber).getHeight();
895 888
896 int singleWidth = viewer.getRfb().getSingleWidth(); 889 int singleWidth = viewer.getRfb().getSingleWidth();
897 int singleHeight = viewer.getRfb().getSingleHeight(); 890 int singleHeight = viewer.getRfb().getSingleHeight();
898 if (!viewer.getRfb().isTreeManager()) { 891 if (!viewer.getRfb().isTreeManager()) {
899 context.sendMessage(new RequestSingleDisplayWidth()); 892 context.sendMessage(new RequestSingleDisplaySize());
900 } 893 }
901 frame.setSize(thisScreenWidth, thisScreenHeight); 894 frame.setSize(thisScreenWidth, thisScreenHeight);
902 uiSettings.fitScreen(thisScreenWidth, thisScreenHeight, singleWidth, singleHeight); 895 uiSettings.fitScreen(thisScreenWidth, thisScreenHeight, singleWidth, singleHeight);
903 } 896 }
904 }); 897 });