+ // Panel for window style
+ JPanel windowStylePanel = new JPanel();
+ windowStylePanel.setBorder(BorderFactory.createCompoundBorder(
+ BorderFactory.createEtchedBorder(EtchedBorder.LOWERED), BorderFactory.createEmptyBorder(3, 3, 3, 3))
+ );
+ windowStylePanel.setLayout(new FlowLayout(FlowLayout.CENTER));
+ windowStylePanel.add(new JLabel(I18nManager.getText("dialog.displaysettings.windowstyle")));
+ windowStylePanel.add(Box.createHorizontalStrut(10));
+ ButtonGroup styleGroup = new ButtonGroup();
+ final String[] styleKeys = {"default", "nimbus", "gtk"};
+ _windowStyleRadios = new JRadioButton[3];
+ for (int i=0; i<3; i++)
+ {
+ _windowStyleRadios[i] = new JRadioButton(
+ I18nManager.getText("dialog.displaysettings.windowstyle." + styleKeys[i]));
+ styleGroup.add(_windowStyleRadios[i]);
+ if (i != 2 || platformHasPlaf(STYLEKEY_GTK))
+ {
+ windowStylePanel.add(_windowStyleRadios[i]);
+ }
+ }
+ midPanel.add(windowStylePanel);