()
| 583 | } |
| 584 | |
| 585 | protected void initGuiComponents() { |
| 586 | this.getContentPane().setLayout(new BorderLayout()); |
| 587 | |
| 588 | Integer width = |
| 589 | Gate.getUserConfig().getInt(GateConstants.MAIN_FRAME_WIDTH, 1024); |
| 590 | Integer height = |
| 591 | Gate.getUserConfig().getInt(GateConstants.MAIN_FRAME_HEIGHT, 768); |
| 592 | Rectangle maxDimensions = |
| 593 | GraphicsEnvironment.getLocalGraphicsEnvironment() |
| 594 | .getMaximumWindowBounds(); |
| 595 | this.setSize(new Dimension(Math.min(width, maxDimensions.width), Math.min( |
| 596 | height, maxDimensions.height))); |
| 597 | if (Gate.getUserConfig().getBoolean(GateConstants.MAIN_FRAME_MAXIMIZED)) |
| 598 | setExtendedState(JFrame.MAXIMIZED_BOTH); |
| 599 | |
| 600 | setIconImages(Arrays.asList(new Image[]{new GATEVersionIcon(256, 256).getImage(),new GATEVersionIcon(128, 128).getImage(),new GATEVersionIcon(64, 64).getImage(), |
| 601 | new GATEVersionIcon(48, 48).getImage(), new GATEVersionIcon(32, 32).getImage(), |
| 602 | new GATEIcon(22, 22).getImage(), new GATEIcon(16, 16).getImage()})); |
| 603 | |
| 604 | resourcesTree = new ResourcesTree(); |
| 605 | resourcesTree.setModel(resourcesTreeModel); |
| 606 | resourcesTree.setRowHeight(0); |
| 607 | |
| 608 | resourcesTree.setEditable(true); |
| 609 | ResourcesTreeCellRenderer treeCellRenderer = |
| 610 | new ResourcesTreeCellRenderer(); |
| 611 | resourcesTree.setCellRenderer(treeCellRenderer); |
| 612 | resourcesTree.setCellEditor(new ResourcesTreeCellEditor(resourcesTree, |
| 613 | treeCellRenderer)); |
| 614 | resourcesTree.setInvokesStopCellEditing(true); |
| 615 | resourcesTree.setRowHeight(0); |
| 616 | // expand all nodes |
| 617 | resourcesTree.expandRow(0); |
| 618 | resourcesTree.expandRow(1); |
| 619 | resourcesTree.expandRow(2); |
| 620 | resourcesTree.expandRow(3); |
| 621 | resourcesTree.expandRow(4); |
| 622 | resourcesTree.getSelectionModel().setSelectionMode( |
| 623 | TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION); |
| 624 | resourcesTree.setEnabled(true); |
| 625 | ToolTipManager.sharedInstance().registerComponent(resourcesTree); |
| 626 | resourcesTreeScroll = new JScrollPane(resourcesTree); |
| 627 | |
| 628 | resourcesTree.setDragEnabled(true); |
| 629 | resourcesTree.setTransferHandler(new TransferHandler() { |
| 630 | // drag and drop that export a list of the selected documents |
| 631 | @Override |
| 632 | public int getSourceActions(JComponent c) { |
| 633 | return COPY; |
| 634 | } |
| 635 | @Override |
| 636 | protected Transferable createTransferable(JComponent c) { |
| 637 | TreePath[] paths = resourcesTree.getSelectionPaths(); |
| 638 | if(paths == null) { return new StringSelection(""); } |
| 639 | Handle handle; |
| 640 | List<String> documentsNames = new ArrayList<String>(); |
| 641 | for(TreePath path : paths) { |
| 642 | if(path != null) { |
no test coverage detected