@Override
protected Container getMainPane(JPanel taskPanel, JPanel systemPanel) {
JTabbedPane pane = new JTabbedPane();
pane.setUI(new WindowsTabbedPaneUI());
JScrollPane taskPane = new JScrollPane();
taskPane.setViewportView(taskPanel);
pane.add(STRINGS.TASK_GRAPH, taskPane);
JScrollPane systemPane = new JScrollPane();
systemPane.setViewportView(systemPanel);
pane.add(STRINGS.SYSTEM_GRAPH, systemPane);
return pane;
}
public Editor(T document) {
super(new BorderLayout());
this.document = document;
setBackground(Color.LIGHT_GRAY);
inputTabs = new JTabbedPane(JTabbedPane.LEFT, JTabbedPane.SCROLL_TAB_LAYOUT);
inputTabs.setUI(new VerticalTabbedPaneUI());
inputTabs.setFont(inputTabs.getFont().deriveFont(8));
inputTabsChangeListener = new InputTabsChangeListener();
inputTabs.addChangeListener(inputTabsChangeListener);
inspectorPanel = JInspectorPanelFactory.build(inputTabs);
add(inspectorPanel.getComponent(), BorderLayout.CENTER);
}
// ------------------------------------------------------------------------------------------------------
protected void createGui() {
mainFrame = new JFrame(myGaggleName);
MiscUtil.setApplicationIcon(mainFrame);
mainFrame.setJMenuBar(createMenuBar());
mainFrame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
JPanel outerPanel = new JPanel();
mainFrame.getContentPane().add(outerPanel);
outerPanel.setLayout(new BorderLayout());
JToolBar toolbar = new JToolBar();
toolbar.setFloatable(false);
JButton bossButton = new JButton("Boss");
bossButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
try {
gaggleBoss.show("boss");
} catch (RemoteException rex) {
rex.printStackTrace();
}
}
});
toolbar.add(bossButton);
outerPanel.add(toolbar, BorderLayout.NORTH);
tabbedPane = new JTabbedPane();
tabbedPane.setUI(new MyTabbedPaneUI());
outerPanel.add(tabbedPane, BorderLayout.CENTER);
mainFrame.pack();
mainFrame.setSize(800, 800);
mainFrame.setVisible(true);
MiscUtil.placeInCenter(mainFrame);
} // createGui
private void makeFrame(final Editor editor) {
dialog = new JFrame(title);
dialog.setMinimumSize(new Dimension(750, 500));
tabbedPane = new JTabbedPane();
makeAndShowTab(false, true);
tabbedPane.addTab("Libraries", null, librariesContributionTab.panel, "Libraries");
tabbedPane.setMnemonicAt(0, KeyEvent.VK_1);
tabbedPane.addTab("Modes", null, modesContributionTab.panel, "Modes");
tabbedPane.setMnemonicAt(1, KeyEvent.VK_2);
tabbedPane.addTab("Tools", null, toolsContributionTab.panel, "Tools");
tabbedPane.setMnemonicAt(2, KeyEvent.VK_3);
tabbedPane.addTab("Examples", null, examplesContributionTab.panel, "Examples");
tabbedPane.setMnemonicAt(3, KeyEvent.VK_4);
tabbedPane.addTab("Updates", null, updatesContributionTab.panel, "Updates");
tabbedPane.setMnemonicAt(4, KeyEvent.VK_5);
tabbedPane.setUI(new SpacedTabbedPaneUI());
tabbedPane.setBackground(new Color(0x132638));
tabbedPane.setOpaque(true);
for (int i = 0; i < 5; i++) {
tabbedPane.setToolTipTextAt(i, null);
}
makeAndSetTabComponents();
tabbedPane.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
for (int i = 0; i < 4; i++) {
tabLabels[i].setBackground(new Color(0x2d4251));
tabLabels[i].setForeground(Color.WHITE);
}
updateTabPanel.setBackground(new Color(0x2d4251));
updateTabLabel.setForeground(Color.WHITE);
int currentIndex = tabbedPane.getSelectedIndex();
if (currentIndex != 4) {
tabbedPane
.getTabComponentAt(tabbedPane.getSelectedIndex())
.setBackground(new Color(0xe0fffd));
tabbedPane
.getTabComponentAt(tabbedPane.getSelectedIndex())
.setForeground(Color.BLACK);
} else {
updateTabPanel.setBackground(new Color(0xe0fffd));
updateTabLabel.setForeground(Color.BLACK);
}
getActiveTab().contributionListPanel.scrollPane.requestFocusInWindow();
// // When the tab is changed update status to the current selected panel
// ContributionPanel currentPanel = getActiveTab().contributionListPanel
// .getSelectedPanel();
// if (currentPanel != null) {
// getActiveTab().contributionListPanel.setSelectedPanel(currentPanel);
// }
}
});
// tabbedPane.setSize(450, 400);
setLayout();
restartButton = new JButton(Language.text("contrib.restart"));
restartButton.setVisible(false);
restartButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent arg0) {
Iterator<Editor> iter = editor.getBase().getEditors().iterator();
while (iter.hasNext()) {
Editor ed = iter.next();
if (ed.getSketch().isModified()) {
int option =
Messages.showYesNoQuestion(
editor,
title,
Language.text("contrib.unsaved_changes"),
Language.text("contrib.unsaved_changes.prompt"));
if (option == JOptionPane.NO_OPTION) return;
else break;
}
}
// Thanks to http://stackoverflow.com/a/4160543
StringBuilder cmd = new StringBuilder();
cmd.append(
System.getProperty("java.home")
+ File.separator
+ "bin"
+ File.separator
+ "java ");
for (String jvmArg : ManagementFactory.getRuntimeMXBean().getInputArguments()) {
cmd.append(jvmArg + " ");
}
cmd.append("-cp ")
.append(ManagementFactory.getRuntimeMXBean().getClassPath())
.append(" ");
cmd.append(Base.class.getName());
try {
Runtime.getRuntime().exec(cmd.toString());
System.exit(0);
} catch (IOException e) {
e.printStackTrace();
}
}
});
Toolkit.setIcon(dialog);
registerDisposeListeners();
dialog.pack();
dialog.setLocationRelativeTo(null);
}