private static void addTabDirectionMenuItems(JPopupMenu menu, DockingWindow window) {
final AbstractTabWindow tabWindow = getTabWindowFor(window);
if (tabWindow == null) return;
JMenu directionMenu = new JMenu("Tab Direction");
TitledTabProperties properties = TitledTabProperties.getDefaultProperties();
properties.addSuperObject(
tabWindow.getTabWindowProperties().getTabProperties().getTitledTabProperties());
final Direction[] directions = Direction.getDirections();
for (int i = 0; i < directions.length; i++) {
final Direction dir = directions[i];
if (dir != Direction.LEFT) {
JMenuItem item = directionMenu.add(new JMenuItem(dir.getName(), ARROW_ICONS[i]));
item.setEnabled(dir != properties.getNormalProperties().getDirection());
item.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
tabWindow
.getTabWindowProperties()
.getTabProperties()
.getTitledTabProperties()
.getNormalProperties()
.setDirection(dir);
}
});
}
}
menu.add(directionMenu);
}
private static void addTabOrientationMenuItems(JPopupMenu menu, DockingWindow window) {
final AbstractTabWindow tabWindow = getTabWindowFor(window);
if (tabWindow == null || tabWindow instanceof WindowBar) return;
JMenu orientationMenu = new JMenu("Tab Orientation");
TabbedPanelProperties properties =
tabWindow.getTabWindowProperties().getTabbedPanelProperties();
final Direction[] directions = Direction.getDirections();
for (int i = 0; i < directions.length; i++) {
final Direction dir = directions[i];
JMenuItem item = orientationMenu.add(new JMenuItem(dir.getName(), ARROW_ICONS[i]));
item.setEnabled(dir != properties.getTabAreaOrientation());
item.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
tabWindow
.getTabWindowProperties()
.getTabbedPanelProperties()
.setTabAreaOrientation(dir);
}
});
}
menu.add(orientationMenu);
}
