public void changeDictionary(String strLanguage) {
// Change dictionary
MonitorDictionary.setCurrentLanguage(strLanguage);
DefaultDictionary.setCurrentLanguage(strLanguage);
ErrorDictionary.setCurrentLanguage(strLanguage);
// Update UI
updateLanguage();
WindowManager.updateLanguage();
int iIndex = mvtLanguage.indexOf(strLanguage);
if (iIndex >= 0) {
JRadioButtonMenuItem mnu = (JRadioButtonMenuItem) mvtLanguageItem.elementAt(iIndex);
mnu.setSelected(true);
}
// Store config
Hashtable prt = null;
try {
prt = Global.loadHashtable(Global.FILE_CONFIG);
} catch (Exception e) {
prt = new Hashtable();
}
prt.put("Language", strLanguage);
try {
Global.storeHashtable(prt, Global.FILE_CONFIG);
} catch (Exception e) {
}
}
/** Creates a JRadioButtonMenuItem for the Themes menu */
private JMenuItem createThemesMenuItem(
JMenu menu,
String label,
char mnemonic,
String accessibleDescription,
DefaultMetalTheme theme) {
JRadioButtonMenuItem mi = (JRadioButtonMenuItem) menu.add(new JRadioButtonMenuItem(label));
themesMenuGroup.add(mi);
mi.setMnemonic(mnemonic);
mi.getAccessibleContext().setAccessibleDescription(accessibleDescription);
mi.addActionListener(new ChangeThemeAction(this, theme));
return mi;
}
/**
* This method initializes jRadioButtonMenuItem1
*
* @return JRadioButtonMenuItem
*/
private JRadioButtonMenuItem getJRadioButtonMenuItem1() {
if (jRadioButtonMenuItem1 == null) {
jRadioButtonMenuItem1 = new JRadioButtonMenuItem();
jRadioButtonMenuItem1.setText("System");
jRadioButtonMenuItem1.setMnemonic(java.awt.event.KeyEvent.VK_Y);
jRadioButtonMenuItem1.setAccelerator(
javax.swing.KeyStroke.getKeyStroke(
java.awt.event.KeyEvent.VK_Y, java.awt.Event.ALT_MASK, false));
jRadioButtonMenuItem1.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent e) {
changeLnF(UIManager.getSystemLookAndFeelClassName());
}
});
}
return jRadioButtonMenuItem1;
}
public TreeElementMenu(
MainFrame _frame,
TopiaryWindow _parent,
String name,
ColorPanel _colorPanel,
int elementType) {
super(name);
parent = _parent;
frame = _frame;
tree = ((TreeWindow) parent).tree;
noColoringMenuItem.addActionListener(this);
add(noColoringMenuItem);
majorityColoringMenuItem.addActionListener(this);
add(majorityColoringMenuItem);
colorBy = new ColorByMenu(frame, parent, _colorPanel, elementType);
add(colorBy);
}
/**
* This method initializes jRadioButtonMenuItem
*
* @return JRadioButtonMenuItem
*/
private JRadioButtonMenuItem getJRadioButtonMenuItem() {
if (jRadioButtonMenuItem == null) {
jRadioButtonMenuItem = new JRadioButtonMenuItem();
jRadioButtonMenuItem.setText("Default");
jRadioButtonMenuItem.setSelected(true);
jRadioButtonMenuItem.setAccelerator(
javax.swing.KeyStroke.getKeyStroke(
java.awt.event.KeyEvent.VK_D, java.awt.Event.ALT_MASK, false));
jRadioButtonMenuItem.setMnemonic(java.awt.event.KeyEvent.VK_D);
jRadioButtonMenuItem.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent e) {
changeLnF(UIManager.getCrossPlatformLookAndFeelClassName());
}
});
}
return jRadioButtonMenuItem;
}
public void actionPerformed(ActionEvent e) {
if (e.getActionCommand().equals("No coloring")) {
((TreeWindow) parent).removeColor();
} else if (e.getActionCommand().equals("Majority coloring")) {
((TreeWindow) parent).tree.setMajorityColoring(majorityColoringMenuItem.isSelected());
((TreeWindow) parent).tree.getTree().updateBranchColorFromChildren();
// frame.recolorBranches();
} else if (e.getActionCommand().equals("Number of OTUs")) {
tree.getTree().sortByNumberOfOtus();
tree.setYOffsets(tree.getTree(), 0);
tree.setTOffsets(tree.getTree(), 0);
tree.setROffsets(tree.getTree(), 0);
tree.setRadialOffsets(tree.getTree());
} else if (e.getActionCommand().equals("Number of immediate children")) {
tree.getTree().sortByNumberOfChildren();
tree.setYOffsets(tree.getTree(), 0);
tree.setTOffsets(tree.getTree(), 0);
tree.setROffsets(tree.getTree(), 0);
tree.setRadialOffsets(tree.getTree());
}
}
/** Called when a choice was made in the animation type combo box. */
public void animationCombo_actionPerformed() {
int selectedIndex = animationCombo.getSelectedIndex();
switch (selectedIndex) {
case HackController.DISPLAY_CHANGES:
if (!partAnimMenuItem.isSelected()) partAnimMenuItem.setSelected(true);
break;
case HackController.ANIMATION:
if (!fullAnimMenuItem.isSelected()) fullAnimMenuItem.setSelected(true);
break;
case HackController.NO_DISPLAY_CHANGES:
if (!noAnimMenuItem.isSelected()) noAnimMenuItem.setSelected(true);
break;
}
notifyControllerListeners(ControllerEvent.ANIMATION_MODE_CHANGE, new Integer(selectedIndex));
}
/** Called when a choice was made in the numeric format combo box. */
public void formatCombo_actionPerformed() {
int selectedIndex = formatCombo.getSelectedIndex();
switch (selectedIndex) {
case HackController.DECIMAL_FORMAT:
if (!decMenuItem.isSelected()) decMenuItem.setSelected(true);
break;
case HackController.HEXA_FORMAT:
if (!hexaMenuItem.isSelected()) hexaMenuItem.setSelected(true);
break;
case HackController.BINARY_FORMAT:
if (!binMenuItem.isSelected()) binMenuItem.setSelected(true);
break;
}
notifyControllerListeners(ControllerEvent.NUMERIC_FORMAT_CHANGE, selectedIndex);
}
/** Called when a choice was made in the additional display combo box. */
public void additionalDisplayCombo_actionPerformed() {
int selectedIndex = additionalDisplayCombo.getSelectedIndex();
switch (selectedIndex) {
case HackController.SCRIPT_ADDITIONAL_DISPLAY:
if (!scriptMenuItem.isSelected()) scriptMenuItem.setSelected(true);
break;
case HackController.OUTPUT_ADDITIONAL_DISPLAY:
if (!outputMenuItem.isSelected()) outputMenuItem.setSelected(true);
break;
case HackController.COMPARISON_ADDITIONAL_DISPLAY:
if (!compareMenuItem.isSelected()) compareMenuItem.setSelected(true);
break;
case HackController.NO_ADDITIONAL_DISPLAY:
if (!noAdditionalDisplayMenuItem.isSelected())
noAdditionalDisplayMenuItem.setSelected(true);
break;
}
notifyControllerListeners(
ControllerEvent.ADDITIONAL_DISPLAY_CHANGE, new Integer(selectedIndex));
}
/** Adds the menu items to the menuber. */
protected void arrangeMenu() {
// Build the first menu.
fileMenu = new JMenu("File");
fileMenu.setMnemonic(KeyEvent.VK_F);
menuBar.add(fileMenu);
viewMenu = new JMenu("View");
viewMenu.setMnemonic(KeyEvent.VK_V);
menuBar.add(viewMenu);
runMenu = new JMenu("Run");
runMenu.setMnemonic(KeyEvent.VK_R);
menuBar.add(runMenu);
// Build the second menu.
helpMenu = new JMenu("Help");
helpMenu.setMnemonic(KeyEvent.VK_H);
menuBar.add(helpMenu);
programMenuItem = new JMenuItem("Load Program", KeyEvent.VK_O);
programMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
programMenuItem_actionPerformed();
}
});
fileMenu.add(programMenuItem);
scriptMenuItem = new JMenuItem("Load Script", KeyEvent.VK_P);
scriptMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
scriptMenuItem_actionPerformed();
}
});
fileMenu.add(scriptMenuItem);
fileMenu.addSeparator();
exitMenuItem = new JMenuItem("Exit", KeyEvent.VK_X);
exitMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X, InputEvent.ALT_MASK));
exitMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
exitMenuItem_actionPerformed();
}
});
fileMenu.add(exitMenuItem);
viewMenu.addSeparator();
ButtonGroup animationRadioButtons = new ButtonGroup();
animationSubMenu = new JMenu("Animate");
animationSubMenu.setMnemonic(KeyEvent.VK_A);
viewMenu.add(animationSubMenu);
partAnimMenuItem = new JRadioButtonMenuItem("Program flow");
partAnimMenuItem.setMnemonic(KeyEvent.VK_P);
partAnimMenuItem.setSelected(true);
partAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
partAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(partAnimMenuItem);
animationSubMenu.add(partAnimMenuItem);
fullAnimMenuItem = new JRadioButtonMenuItem("Program & data flow");
fullAnimMenuItem.setMnemonic(KeyEvent.VK_D);
fullAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
fullAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(fullAnimMenuItem);
animationSubMenu.add(fullAnimMenuItem);
noAnimMenuItem = new JRadioButtonMenuItem("No Animation");
noAnimMenuItem.setMnemonic(KeyEvent.VK_N);
noAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
noAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(noAnimMenuItem);
animationSubMenu.add(noAnimMenuItem);
ButtonGroup additionalDisplayRadioButtons = new ButtonGroup();
additionalDisplaySubMenu = new JMenu("View");
additionalDisplaySubMenu.setMnemonic(KeyEvent.VK_V);
viewMenu.add(additionalDisplaySubMenu);
scriptDisplayMenuItem = new JRadioButtonMenuItem("Script");
scriptDisplayMenuItem.setMnemonic(KeyEvent.VK_S);
scriptDisplayMenuItem.setSelected(true);
scriptDisplayMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
scriptDisplayMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(scriptDisplayMenuItem);
additionalDisplaySubMenu.add(scriptDisplayMenuItem);
outputMenuItem = new JRadioButtonMenuItem("Output");
outputMenuItem.setMnemonic(KeyEvent.VK_O);
outputMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
outputMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(outputMenuItem);
additionalDisplaySubMenu.add(outputMenuItem);
compareMenuItem = new JRadioButtonMenuItem("Compare");
compareMenuItem.setMnemonic(KeyEvent.VK_C);
compareMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
compareMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(compareMenuItem);
additionalDisplaySubMenu.add(compareMenuItem);
noAdditionalDisplayMenuItem = new JRadioButtonMenuItem("Screen");
noAdditionalDisplayMenuItem.setMnemonic(KeyEvent.VK_N);
noAdditionalDisplayMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
noAdditionalDisplayMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(noAdditionalDisplayMenuItem);
additionalDisplaySubMenu.add(noAdditionalDisplayMenuItem);
ButtonGroup formatRadioButtons = new ButtonGroup();
numericFormatSubMenu = new JMenu("Format");
numericFormatSubMenu.setMnemonic(KeyEvent.VK_F);
viewMenu.add(numericFormatSubMenu);
decMenuItem = new JRadioButtonMenuItem("Decimal");
decMenuItem.setMnemonic(KeyEvent.VK_D);
decMenuItem.setSelected(true);
decMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
decMenuItem_actionPerformed();
}
});
formatRadioButtons.add(decMenuItem);
numericFormatSubMenu.add(decMenuItem);
hexaMenuItem = new JRadioButtonMenuItem("Hexadecimal");
hexaMenuItem.setMnemonic(KeyEvent.VK_H);
hexaMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
hexaMenuItem_actionPerformed();
}
});
formatRadioButtons.add(hexaMenuItem);
numericFormatSubMenu.add(hexaMenuItem);
binMenuItem = new JRadioButtonMenuItem("Binary");
binMenuItem.setMnemonic(KeyEvent.VK_B);
binMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
binMenuItem_actionPerformed();
}
});
formatRadioButtons.add(binMenuItem);
numericFormatSubMenu.add(binMenuItem);
viewMenu.addSeparator();
singleStepMenuItem = new JMenuItem("Single Step", KeyEvent.VK_S);
singleStepMenuItem.setAccelerator(KeyStroke.getKeyStroke("F11"));
singleStepMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
singleStepMenuItem_actionPerformed();
}
});
runMenu.add(singleStepMenuItem);
ffwdMenuItem = new JMenuItem("Run", KeyEvent.VK_F);
ffwdMenuItem.setAccelerator(KeyStroke.getKeyStroke("F5"));
ffwdMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
ffwdMenuItem_actionPerformed();
}
});
runMenu.add(ffwdMenuItem);
stopMenuItem = new JMenuItem("Stop", KeyEvent.VK_T);
stopMenuItem.setAccelerator(KeyStroke.getKeyStroke("shift F5"));
stopMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
stopMenuItem_actionPerformed();
}
});
runMenu.add(stopMenuItem);
rewindMenuItem = new JMenuItem("Reset", KeyEvent.VK_R);
rewindMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
rewindMenuItem_actionPerformed();
}
});
runMenu.add(rewindMenuItem);
runMenu.addSeparator();
breakpointsMenuItem = new JMenuItem("Breakpoints", KeyEvent.VK_B);
breakpointsMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
breakpointsMenuItem_actionPerformed();
}
});
runMenu.add(breakpointsMenuItem);
profilerMenuItem = new JMenuItem("Profiler", KeyEvent.VK_I);
profilerMenuItem.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
showProfiler();
}
});
profilerMenuItem.setEnabled(false);
runMenu.add(profilerMenuItem);
usageMenuItem = new JMenuItem("Usage", KeyEvent.VK_U);
usageMenuItem.setAccelerator(KeyStroke.getKeyStroke("F1"));
usageMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
usageMenuItem_actionPerformed();
}
});
helpMenu.add(usageMenuItem);
aboutMenuItem = new JMenuItem("About ...", KeyEvent.VK_A);
aboutMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
aboutMenuItem_actionPerformed();
}
});
helpMenu.add(aboutMenuItem);
}
/** Enables the animation mode buttons. */
public void enableAnimationModes() {
animationCombo.setEnabled(true);
partAnimMenuItem.setEnabled(true);
fullAnimMenuItem.setEnabled(true);
noAnimMenuItem.setEnabled(true);
}
/** Disables the animation mode buttons. */
public void disableAnimationModes() {
animationCombo.setEnabled(false);
partAnimMenuItem.setEnabled(false);
fullAnimMenuItem.setEnabled(false);
noAnimMenuItem.setEnabled(false);
}
/** Creates new instance. */
public ODGDrawingPanel() {
ResourceBundleUtil labels = ResourceBundleUtil.getBundle("org.jhotdraw.draw.Labels");
initComponents();
undoManager = new UndoRedoManager();
editor = new DefaultDrawingEditor();
editor.add(view);
addCreationButtonsTo(creationToolbar, editor);
ButtonFactory.addAttributesButtonsTo(attributesToolbar, editor);
JPopupButton pb = new JPopupButton();
pb.setItemFont(UIManager.getFont("MenuItem.font"));
labels.configureToolBarButton(pb, "actions");
pb.add(new DuplicateAction());
pb.addSeparator();
pb.add(new GroupAction(editor));
pb.add(new UngroupAction(editor));
pb.addSeparator();
pb.add(new BringToFrontAction(editor));
pb.add(new SendToBackAction(editor));
pb.addSeparator();
pb.add(new CutAction());
pb.add(new CopyAction());
pb.add(new PasteAction());
pb.add(new SelectAllAction());
pb.add(new SelectSameAction(editor));
pb.addSeparator();
pb.add(undoManager.getUndoAction());
pb.add(undoManager.getRedoAction());
// FIXME - We need a toggle grid action
// pb.addSeparator();
// pb.add(new ToggleGridAction(editor));
JMenu m = new JMenu(labels.getString("view.zoomFactor.text"));
JRadioButtonMenuItem rbmi;
ButtonGroup group = new ButtonGroup();
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.1, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.25, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.5, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.75, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 1.0, null)));
rbmi.setSelected(true);
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 1.25, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 1.5, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 2, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 3, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 4, null)));
group.add(rbmi);
pb.add(m);
pb.setFocusable(false);
creationToolbar.addSeparator();
creationToolbar.add(pb);
DefaultDrawing drawing = new DefaultDrawing();
view.setDrawing(drawing);
drawing.addUndoableEditListener(undoManager);
}
public Check() {
super(
"Substance test with very very very very very very very very very very very very very very long title");
final ClassLoader cl = Thread.currentThread().getContextClassLoader();
if (UIManager.getLookAndFeel() instanceof SubstanceLookAndFeel) {
setIconImage(
SubstanceLogo.getLogoImage(
SubstanceLookAndFeel.getCurrentSkin(this.getRootPane())
.getColorScheme(
DecorationAreaType.PRIMARY_TITLE_PANE,
ColorSchemeAssociationKind.FILL,
ComponentState.ENABLED)));
}
SubstanceLookAndFeel.registerSkinChangeListener(
new SkinChangeListener() {
@Override
public void skinChanged() {
SwingUtilities.invokeLater(
new Runnable() {
@Override
public void run() {
setIconImage(
SubstanceLogo.getLogoImage(
SubstanceLookAndFeel.getCurrentSkin(Check.this.getRootPane())
.getColorScheme(
DecorationAreaType.PRIMARY_TITLE_PANE,
ColorSchemeAssociationKind.FILL,
ComponentState.ENABLED)));
}
});
}
});
setLayout(new BorderLayout());
jtp = new JTabbedPane();
try {
mainTabPreviewPainter = new MyMainTabPreviewPainter();
jtp.putClientProperty(LafWidget.TABBED_PANE_PREVIEW_PAINTER, mainTabPreviewPainter);
} catch (Throwable e) {
}
jtp.getModel().addChangeListener(new TabSwitchListener());
final JXPanel jxPanel = new JXPanel(new BorderLayout());
toolbar = getToolbar("", 22, true);
jxPanel.add(toolbar, BorderLayout.NORTH);
JXStatusBar statusBar = getStatusBar(jxPanel, jtp);
this.add(statusBar, BorderLayout.SOUTH);
taskPaneContainer =
new JXTaskPaneContainer() {
@Override
public boolean getScrollableTracksViewportWidth() {
return false;
}
};
taskPaneContainer.setScrollableTracksViewportHeight(false);
taskPaneContainer.setScrollableTracksViewportWidth(false);
mainTaskPane = new JXTaskPane();
mainTaskPane.setLayout(new BorderLayout());
JPanel mainControlPanel =
ControlPanelFactory.getMainControlPanel(this, jtp, mainTabPreviewPainter, toolbar);
// mainControlPanel.setOpaque(false);
mainTaskPane.add(mainControlPanel, BorderLayout.CENTER);
mainTaskPane.setTitle("General settings");
mainTaskPane.setIcon(getIcon("JFrameColor16"));
mainTaskPane.setCollapsed(true);
taskPaneContainer.add(mainTaskPane);
JPanel dialogControlPanel = ControlPanelFactory.getDialogControlPanel(this);
JXTaskPane dialogTaskPane = new JXTaskPane();
dialogTaskPane.setLayout(new BorderLayout());
dialogTaskPane.add(dialogControlPanel, BorderLayout.CENTER);
dialogTaskPane.setTitle("Frames & Dialogs");
dialogTaskPane.setIcon(getIcon("JDialogColor16"));
dialogTaskPane.setCollapsed(true);
// dialogTaskPane.setOpaque(false);
taskPaneContainer.add(dialogTaskPane);
currentSpecificTaskPane = null;
final JScrollPane scrollPane =
new JScrollPane(
taskPaneContainer,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
SubstanceLookAndFeel.setDecorationType(scrollPane, DecorationAreaType.GENERAL);
// scrollPane.setOpaque(false);
// scrollPane.getViewport().setOpaque(false);
JPanel mainPanel = new JPanel();
mainPanel.add(scrollPane);
mainPanel.add(jtp);
mainPanel.setLayout(
new LayoutManager() {
@Override
public void addLayoutComponent(String name, Component comp) {}
@Override
public Dimension minimumLayoutSize(Container parent) {
Dimension min1 = scrollPane.getMinimumSize();
Dimension min2 = jtp.getMinimumSize();
return new Dimension(min1.width + min2.width, min1.height + min2.height);
}
@Override
public void layoutContainer(Container parent) {
// give 30% width to task pane container and
// 70% width to the tabbed pane with controls.
int width = parent.getWidth();
int height = parent.getHeight();
scrollPane.setBounds(0, 0, (int) (0.3 * width), height);
jtp.setBounds((int) (0.3 * width), 0, width - (int) (0.3 * width), height);
}
@Override
public Dimension preferredLayoutSize(Container parent) {
Dimension pref1 = scrollPane.getPreferredSize();
Dimension pref2 = jtp.getPreferredSize();
return new Dimension(pref1.width + pref2.width, pref1.height + pref2.height);
}
@Override
public void removeLayoutComponent(Component comp) {}
});
jxPanel.add(mainPanel, BorderLayout.CENTER);
this.add(jxPanel, BorderLayout.CENTER);
setPreferredSize(new Dimension(400, 400));
this.setSize(getPreferredSize());
setMinimumSize(getPreferredSize());
ButtonsPanel buttonsPanel = new ButtonsPanel();
jtp.addTab("Buttons", getIcon("JButtonColor16"), buttonsPanel);
getRootPane().setDefaultButton(buttonsPanel.defaultButton);
jtp.addTab("Combo box", getIcon("JComboBoxColor16"), new CombosPanel());
jtp.addTab("Scroll pane", getIcon("JScrollPaneColor16"), new ScrollPanel());
TabCloseCallback closeCallback =
new TabCloseCallback() {
@Override
public TabCloseKind onAreaClick(
JTabbedPane tabbedPane, int tabIndex, MouseEvent mouseEvent) {
if (mouseEvent.getButton() != MouseEvent.BUTTON3) return TabCloseKind.NONE;
if (mouseEvent.isShiftDown()) {
return TabCloseKind.ALL;
}
return TabCloseKind.THIS;
}
@Override
public TabCloseKind onCloseButtonClick(
JTabbedPane tabbedPane, int tabIndex, MouseEvent mouseEvent) {
if (mouseEvent.isAltDown()) {
return TabCloseKind.ALL_BUT_THIS;
}
if (mouseEvent.isShiftDown()) {
return TabCloseKind.ALL;
}
return TabCloseKind.THIS;
}
@Override
public String getAreaTooltip(JTabbedPane tabbedPane, int tabIndex) {
return null;
}
@Override
public String getCloseButtonTooltip(JTabbedPane tabbedPane, int tabIndex) {
StringBuffer result = new StringBuffer();
result.append("<html><body>");
result.append("Mouse click closes <b>" + tabbedPane.getTitleAt(tabIndex) + "</b> tab");
result.append(
"<br><b>Alt</b>-Mouse click closes all tabs but <b>"
+ tabbedPane.getTitleAt(tabIndex)
+ "</b> tab");
result.append("<br><b>Shift</b>-Mouse click closes all tabs");
result.append("</body></html>");
return result.toString();
}
};
try {
TabPanel tp = new TabPanel();
tp.jtp.putClientProperty(SubstanceLookAndFeel.TABBED_PANE_CLOSE_CALLBACK, closeCallback);
jtp.addTab("Tabs", getIcon("JTabbedPaneColor16"), tp);
} catch (NoClassDefFoundError ncdfe) {
}
jtp.addTab("Split", new SplitPanel());
jtp.addTab("Desktop", getIcon("JDesktopPaneColor16"), new DesktopPanel());
jtp.addTab("Text fields", getIcon("JTextPaneColor16"), new TextFieldsPanel());
jtp.addTab("Table", getIcon("JTableColor16"), new TablePanel());
try {
jtp.addTab("List", getIcon("JListColor16"), new ListPanel());
} catch (NoClassDefFoundError ncdfe) {
}
jtp.addTab("Slider", getIcon("JSliderColor16"), new SliderPanel());
jtp.addTab("Progress bar", getIcon("JProgressBarColor16"), new ProgressBarPanel());
jtp.addTab("Spinner", getIcon("JSpinnerColor16"), new SpinnerPanel());
jtp.addTab("Tree", getIcon("JTreeColor16"), new TreePanel());
jtp.addTab("File tree", getIcon("JTreeColor16"), new FileTreePanel());
jtp.addTab("Cards", new CardPanel());
JPanel verticalButtonPanel = new JPanel();
verticalButtonPanel.setLayout(new GridLayout(1, 3));
verticalButtonPanel.add(new JButton("Vert button 1"));
verticalButtonPanel.add(new JButton("Vert button 2"));
JPanel smallVerticalButtonPanel = new JPanel();
smallVerticalButtonPanel.setLayout(new GridLayout(4, 4));
for (int row = 0; row < 4; row++) {
for (int col = 0; col < 4; col++) {
JButton vertButton = new JButton("vert");
vertButton.setToolTipText("Vertical button " + row + ":" + col);
smallVerticalButtonPanel.add(vertButton);
}
}
verticalButtonPanel.add(smallVerticalButtonPanel);
jtp.addTab("V-Buttons", verticalButtonPanel);
jtp.addTab("Colored", new ColoredControlsPanel());
jtp.addTab("Colorized", new ColorizedControlsPanel());
jtp.addTab("Cells", new CellsPanel());
jtp.addTab("Sizes", new SizesPanel());
jtp.addTab("H-Align", new HAlignmentPanel());
jtp.addTab("V-Align", new VAlignmentPanel());
// sample menu bar
JMenuBar jmb = new JMenuBar();
if (UIManager.getLookAndFeel() instanceof SubstanceLookAndFeel) {
jmb.add(SampleMenuFactory.getSkinMenu());
jmb.add(SampleMenuFactory.getTransformMenu());
}
JMenu coloredMenu = new JMenu("Colors");
coloredMenu.setMnemonic('0');
JMenuItem coloredMI = new JMenuItem("Italic red");
coloredMI.setFont(coloredMI.getFont().deriveFont(Font.ITALIC));
coloredMI.setForeground(Color.red);
coloredMenu.add(coloredMI);
JRadioButtonMenuItem coloredRBMI = new JRadioButtonMenuItem("Bold green");
coloredRBMI.setFont(coloredRBMI.getFont().deriveFont(Font.BOLD));
coloredRBMI.setForeground(Color.green);
coloredMenu.add(coloredRBMI);
JCheckBoxMenuItem coloredCBMI = new JCheckBoxMenuItem("Big blue");
coloredCBMI.setFont(coloredCBMI.getFont().deriveFont(32f));
coloredCBMI.setForeground(Color.blue);
coloredMenu.add(coloredCBMI);
JMenu coloredM = new JMenu("Always big magenta");
coloredM.setForeground(Color.magenta);
coloredM.setFont(coloredM.getFont().deriveFont(24f));
coloredMenu.add(coloredM);
jmb.add(coloredMenu);
JMenu testMenu = SampleMenuFactory.getTestMenu();
jmb.add(testMenu);
JMenu jm4 = new JMenu("Disabled");
jm4.add(new JMenuItem("dummy4"));
jm4.setMnemonic('4');
jmb.add(jm4);
jm4.setEnabled(false);
// LAF changing
jmb.add(SampleMenuFactory.getLookAndFeelMenu(this));
setJMenuBar(jmb);
TabCloseCallback closeCallbackMain =
new TabCloseCallback() {
@Override
public TabCloseKind onAreaClick(
JTabbedPane tabbedPane, int tabIndex, MouseEvent mouseEvent) {
if (mouseEvent.getButton() != MouseEvent.BUTTON2) return TabCloseKind.NONE;
if (mouseEvent.isShiftDown()) {
return TabCloseKind.ALL;
}
return TabCloseKind.THIS;
}
@Override
public TabCloseKind onCloseButtonClick(
JTabbedPane tabbedPane, int tabIndex, MouseEvent mouseEvent) {
if (mouseEvent.isAltDown()) {
return TabCloseKind.ALL_BUT_THIS;
}
if (mouseEvent.isShiftDown()) {
return TabCloseKind.ALL;
}
return TabCloseKind.THIS;
}
@Override
public String getAreaTooltip(JTabbedPane tabbedPane, int tabIndex) {
return null;
}
@Override
public String getCloseButtonTooltip(JTabbedPane tabbedPane, int tabIndex) {
StringBuffer result = new StringBuffer();
result.append("<html><body>");
result.append("Mouse click closes <b>" + tabbedPane.getTitleAt(tabIndex) + "</b> tab");
result.append(
"<br><b>Alt</b>-Mouse click closes all tabs but <b>"
+ tabbedPane.getTitleAt(tabIndex)
+ "</b> tab");
result.append("<br><b>Shift</b>-Mouse click closes all tabs");
result.append("</body></html>");
return result.toString();
}
};
jtp.putClientProperty(SubstanceLookAndFeel.TABBED_PANE_CLOSE_CALLBACK, closeCallbackMain);
SubstanceLookAndFeel.registerTabCloseChangeListener(
new TabCloseListener() {
@Override
public void tabClosed(JTabbedPane tabbedPane, Component tabComponent) {
out("Closed tab");
}
@Override
public void tabClosing(JTabbedPane tabbedPane, Component tabComponent) {
out("Closing tab");
}
});
SubstanceLookAndFeel.registerTabCloseChangeListener(
jtp,
new VetoableTabCloseListener() {
@Override
public void tabClosed(JTabbedPane tabbedPane, Component tabComponent) {
out("Closed tab - specific");
}
@Override
public void tabClosing(JTabbedPane tabbedPane, Component tabComponent) {
out("Closing tab - specific");
}
@Override
public boolean vetoTabClosing(JTabbedPane tabbedPane, Component tabComponent) {
int userCloseAnswer =
JOptionPane.showConfirmDialog(
Check.this,
"Are you sure you want to close '"
+ tabbedPane.getTitleAt(tabbedPane.indexOfComponent(tabComponent))
+ "' tab?",
"Confirm dialog",
JOptionPane.YES_NO_OPTION);
return (userCloseAnswer == JOptionPane.NO_OPTION);
}
});
SubstanceLookAndFeel.registerTabCloseChangeListener(
jtp,
new VetoableMultipleTabCloseListener() {
@Override
public void tabsClosed(JTabbedPane tabbedPane, Set<Component> tabComponents) {
out("Closed " + tabComponents.size() + " tabs - specific");
}
@Override
public void tabsClosing(JTabbedPane tabbedPane, Set<Component> tabComponents) {
out("Closing " + tabComponents.size() + " tabs - specific");
}
@Override
public boolean vetoTabsClosing(JTabbedPane tabbedPane, Set<Component> tabComponents) {
int userCloseAnswer =
JOptionPane.showConfirmDialog(
Check.this,
"Are you sure you want to close " + tabComponents.size() + " tabs?",
"Confirm dialog",
JOptionPane.YES_NO_OPTION);
return (userCloseAnswer == JOptionPane.NO_OPTION);
}
});
addComponentListener(
new ComponentAdapter() {
@Override
public void componentResized(ComponentEvent e) {
System.out.println("Size " + getSize());
}
});
}
private void setUpMenuBar() {
// Set Up Menu Bar
JMenuBar menu = new JMenuBar();
// Game Menu
JMenu gameMenu = new JMenu("Game");
menu.add(gameMenu);
JMenuItem newRandom = new JMenuItem("New Game");
gameMenu.add(newRandom);
newRandom.setAccelerator(
KeyStroke.getKeyStroke(
KeyEvent.VK_N, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()));
newRandom.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
newGame();
}
});
gameMenu.addSeparator();
ButtonGroup bg = new ButtonGroup();
JRadioButtonMenuItem size4 = new JRadioButtonMenuItem("4x4 board");
size4.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
myBoardSize = 4;
}
});
size4.setSelected(true);
bg.add(size4);
gameMenu.add(size4);
JRadioButtonMenuItem size5 = new JRadioButtonMenuItem("5x5 board");
size5.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
myBoardSize = 5;
}
});
bg.add(size5);
gameMenu.add(size5);
gameMenu.addSeparator();
JMenuItem gameTime = new JMenuItem("Time (secs)");
gameMenu.add(gameTime);
gameTime.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
String secs = JOptionPane.showInputDialog(BoggleGUI.this, "time in seconds");
try {
int len = Integer.parseInt(secs);
myGameLength = len;
myProgress.setMaximum(myGameLength);
} catch (NumberFormatException e1) {
if (secs != null) {
showError(secs + " not valid integer value");
}
}
}
});
gameMenu.addSeparator();
JMenuItem quitGame = new JMenuItem("Quit");
gameMenu.add(quitGame);
quitGame.setMnemonic('Q');
quitGame.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
System.exit(0);
}
});
// Help menu
JMenu helpMenu = new JMenu("Help");
menu.add(helpMenu);
helpMenu.setMnemonic(KeyEvent.VK_H);
JMenuItem aboutGame = new JMenuItem("About...");
helpMenu.add(aboutGame);
aboutGame.setMnemonic(KeyEvent.VK_A);
aboutGame.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
JOptionPane.showMessageDialog(
BoggleGUI.this,
"Compsci Boggle, brought to you\n"
+ "by educators and students\n"
+ "including, of course, you.",
"About Game",
JOptionPane.PLAIN_MESSAGE);
}
});
setJMenuBar(menu);
}