public List<Tab> getTabs() {
   List<Tab> tabs = new LinkedList<Tab>();
   for (int i = 0; i < tabbedPane.getTabCount(); i++) {
     if (tabbedPane.getComponentAt(i) instanceof Tab) {
       tabs.add((Tab) tabbedPane.getComponentAt(i));
     }
   }
   return tabs;
 }
 public void previousTab() {
   int t = tabbedPane.getSelectedIndex();
   if (t == 0) {
     t = tabbedPane.getTabCount() - 1;
   } else {
     t--;
   }
   tabbedPane.setSelectedIndex(t);
 }
 public void appendText(final String tabTitle, final String text) {
   for (int i = 0; i < tabbedPane.getTabCount(); i++) {
     if (tabbedPane.getTitleAt(i).equals(tabTitle)) {
       if (tabbedPane.getComponentAt(i) instanceof Tab) {
         Tab tab = (Tab) tabbedPane.getComponentAt(i);
         tab.append(text);
       }
     }
   }
 }
 public boolean selectTabWith(File file) {
   for (int i = 0; i < tabbedPane.getTabCount(); i++) {
     if (tabbedPane.getComponentAt(i) instanceof Tab) {
       Tab tab = (Tab) tabbedPane.getComponentAt(i);
       if (tab.getFile() != null && tab.getFile().equals(file)) {
         tabbedPane.setSelectedIndex(i);
         return true;
       }
     }
   }
   return false;
 }
 public Tab currentTab() {
   Component comp = tabbedPane.getSelectedComponent();
   if (comp instanceof Tab) {
     return (Tab) comp;
   }
   return null;
 }
 /**
  * This method is called when the state of the ATabbedPane changes, i. e. when the tab to be
  * displayed changes.
  *
  * @param e
  */
 public void stateChanged(ChangeEvent e) {
   setTitle(tabbedPane.getCurrentTitle() + " - Quick Sequence Diagram Editor");
   Action closeAction = menuBar.getActionByName("[F12]&Close");
   if (closeAction != null) {
     closeAction.setEnabled(tabbedPane.getTabCount() > 1);
   }
   final Tab tab = currentTab();
   if (tab != null) {
     tab.leaveFilterMode();
     scalePanel.setScalable(tab.getZoomPane());
     fireCodeChanged(false);
     SwingUtilities.invokeLater(
         new Runnable() {
           public void run() {
             tab.getTextArea().requestFocusInWindow();
           }
         });
   }
   enableComponents();
 }
 public String addTab(String tabTitle, Bean<Configuration> configuration) {
   Tab tab =
       new Tab(
           this,
           redrawThread,
           ConfigurationManager.getGlobalConfiguration().getEditorFont(),
           configuration);
   for (UserInterfaceListener listener : listeners) {
     if (listener.getPanelPaintDeviceListener() != null) {
       tab.addPanelPaintDeviceListener(listener.getPanelPaintDeviceListener());
     }
   }
   String uniqueTitle = tabbedPane.addTab(tab, tabTitle);
   currentTab().layout(configuration.getDataObject().isVerticallySplit() ? 1 : 0);
   enableComponents();
   return uniqueTitle;
 }
 public void help(String title, String path, boolean navigation) {
   for (int i = 0; i < tabbedPane.getTabCount(); i++) {
     if (!(tabbedPane.getComponentAt(i) instanceof Tab)) {
       if (tabbedPane.getTitleAt(i).equals(title)
           || tabbedPane.getTitleAt(i).startsWith(title + "-")) {
         tabbedPane.setSelectedIndex(i);
         return;
       }
     }
   }
   JComponent help;
   if (navigation) {
     help = new AdvancedHelpPanel(getClass().getResource(path), this);
   } else {
     help = new JScrollPane(new HelpPanel(getClass().getResource(path), this).getPane());
   }
   tabbedPane.addTab(help, title, Icons.getIcon("help"));
 }
 public void nextTab() {
   int t = tabbedPane.getSelectedIndex();
   t = (t + 1) % tabbedPane.getTabCount();
   tabbedPane.setSelectedIndex(t);
 }
예제 #10
0
 public int getNumberOfTabs() {
   return tabbedPane.getTabCount();
 }
예제 #11
0
 public boolean removeCurrentTab(boolean check) {
   setErrorStatus(false, "", -1, -1);
   boolean flag = tabbedPane.removeCurrentTab(check);
   enableComponents();
   return flag;
 }
예제 #12
0
 public void setCurrentFile(File file) {
   currentTab().setFile(file);
   if (file != null) {
     tabbedPane.setToolTipTextAt(tabbedPane.getSelectedIndex(), file.getAbsolutePath());
   }
 }
예제 #13
0
 public void setTabTitle(String title) {
   tabbedPane.setTabTitle(title);
   setTitle(title + " - Quick Sequence Diagram Editor");
 }
예제 #14
0
  @SuppressWarnings("serial")
  public void showUI() {
    setIconImage(Icons.getIcon("icon").getImage());
    fileChooser = new JFileChooser();
    fileChooser.setCurrentDirectory(new File(System.getProperty("user.home")));
    Container pane = getContentPane();
    pane.setLayout(new BorderLayout());

    tabbedPane = new ATabbedPane();
    tabbedPane.addChangeListener(this);
    tabbedPane.addListener(this);

    pane.add(tabbedPane, BorderLayout.CENTER);

    pane.add(toolbar, BorderLayout.NORTH);

    bottomPanel = new JPanel();
    bottomPanel.setLayout(new BorderLayout());

    scalePanel = new ScalePanel(false);
    Dimension spSize = new Dimension(140, 24);

    scalePanel.setMaximumSize(spSize);
    scalePanel.setMinimumSize(spSize);
    scalePanel.setPreferredSize(spSize);

    scalePanel.setOpaque(false);
    addToolbarSeparator();
    toolbar.add(scalePanel);

    registerComponent(scalePanel, nonEmptyDiagramActivator);

    addToolbarSeparator();

    addToToolbar(scalePanel.normalSizeAction, nonEmptyDiagramActivator);
    addToToolbar(scalePanel.fitHeightAction, nonEmptyDiagramActivator);
    addToToolbar(scalePanel.fitWidthAction, nonEmptyDiagramActivator);
    addToToolbar(scalePanel.fitWindowAction, nonEmptyDiagramActivator);

    pane.add(bottomPanel, BorderLayout.SOUTH);

    int screenWidth = Toolkit.getDefaultToolkit().getScreenSize().width;
    int screenHeight = Toolkit.getDefaultToolkit().getScreenSize().height;

    int width = (int) (0.8 * screenWidth);
    int height = (int) (0.8 * screenHeight);

    int left = (int) (0.1 * screenWidth);
    int top = (int) (0.1 * screenHeight);

    setSize(width, height);
    setLocation(left, top);

    fullScreen = new FullScreen();
    fullScreen.addListener(this);
    LookAndFeelManager.instance().register(fullScreen);

    setJMenuBar(menuBar);
    LookAndFeelManager.instance().register(this);

    // printDialog.loadProfiles();
    ConfigurationManager.getGlobalConfigurationBean()
        .addPropertyChangeListener(
            new PropertyChangeListener() {
              public void propertyChange(PropertyChangeEvent evt) {
                enableComponents();
              }
            });

    enableComponents();
    setVisible(true);
  }