public int getHorizontalDivider() { int location = horizontalSplitPane.getSize().width - horizontalSplitPane.getInsets().left - horizontalSplitPane.getDividerSize() - horizontalSplitPane.getRightComponent().getWidth(); double width = indexingFrame.getWidth(); double proportionalLocation = location / width; // horizontalSplitPane.setDividerLocation(proportionalLocation); return location; }
public int getVerticalDivider() { int location = verticalSplitPane.getSize().height - verticalSplitPane.getInsets().bottom - verticalSplitPane.getDividerSize() - verticalSplitPane.getBottomComponent().getHeight(); double height = indexingFrame.getHeight(); double proportionalLocation = location / height; // verticalSplitPane.setDividerLocation(proportionalLocation); // double check = verticalSplitPane.getDiv return location; }
public void createMenuBar(IndexingFrame frame) { JMenuBar menuBar = new JMenuBar(); JMenu menu = new JMenu("File"); menuBar.add(menu); JMenuItem downloadBatchMenuItem = new JMenuItem("Download Batch"); downloadBatchMenuItem.addActionListener( new ActionListener() { @Override public void actionPerformed(ActionEvent e) { if (e.getSource() == downloadBatchMenuItem) { DownloadBatchDialog downloadBatchDialog = new DownloadBatchDialog(frame, "Download Batch", batchState); downloadBatchDialog.setVisible(true); } } }); JMenuItem logoutMenuItem = new JMenuItem("Logout"); logoutMenuItem.addActionListener( new ActionListener() { @Override public void actionPerformed(ActionEvent e) { if (e.getSource() == logoutMenuItem) { batchState.setZoomLevel(component.getScale()); batchState.setHighlightsVisible(component.getToggleHighlights()); batchState.setImageInverted(component.getInverted()); batchState.setDesktopLocation(indexingFrame.getLocation()); batchState.setDesktopSize(indexingFrame.getSize()); batchState.setVerticalSplit(indexingFrame.getVerticalDivider()); batchState.setHorizontalSplit(indexingFrame.getHorizontalDivider()); try { XStream xStream = new XStream(new DomDriver()); OutputStream outFile; outFile = new BufferedOutputStream(new FileOutputStream("xstream.xml")); xStream.toXML(batchState, outFile); outFile.close(); } catch (IOException e1) { // TODO Auto-generated catch block e1.printStackTrace(); } frame.setVisible(false); parent.showLogin(batchState); } } }); JMenuItem exitMenuItem = new JMenuItem("Exit"); exitMenuItem.addActionListener( new ActionListener() { @Override public void actionPerformed(ActionEvent e) { if (e.getSource() == logoutMenuItem) { batchState.setZoomLevel(component.getScale()); batchState.setHighlightsVisible(component.getToggleHighlights()); batchState.setImageInverted(component.getInverted()); batchState.setDesktopLocation(indexingFrame.getLocation()); batchState.setDesktopSize(indexingFrame.getSize()); batchState.setVerticalSplit(verticalSplitPane.getDividerLocation()); batchState.setHorizontalSplit(horizontalSplitPane.getDividerLocation()); try { XStream xStream = new XStream(new DomDriver()); OutputStream outFile; outFile = new BufferedOutputStream(new FileOutputStream("xstream.xml")); xStream.toXML(batchState, outFile); outFile.close(); } catch (IOException e1) { // TODO Auto-generated catch block e1.printStackTrace(); } System.exit(0); } } }); menu.add(downloadBatchMenuItem); menu.add(logoutMenuItem); menu.add(exitMenuItem); frame.setJMenuBar(menuBar); }