//useCustomIconTheme = new JCheckBox(Globals.lang("Use custom icon theme"));
//customIconThemeFile = new JTextField();
FormLayout layout = new FormLayout
("1dlu, 8dlu, left:pref, 4dlu, fill:pref, 4dlu, fill:60dlu, 4dlu, fill:pref",
"");
DefaultFormBuilder builder = new DefaultFormBuilder(layout);
builder.setLeadingColumnOffset(2);
JLabel lab;
builder.appendSeparator(Globals.lang("General"));
JPanel p1 = new JPanel();
lab = new JLabel(Globals.lang("Menu and label font size") + ":");
p1.add(lab);
p1.add(fontSize);
builder.append(p1);
builder.nextLine();
builder.append(overrideFonts);
builder.nextLine();
builder.appendSeparator(Globals.lang("Table appearance"));
//builder.append(antialias);
//builder.nextLine();
builder.append(colorCodes);
builder.nextLine();
builder.append(fontButton);
builder.nextLine();
builder.append(colorPanel);
/*builder.appendSeparator(Globals.lang("Custom icon theme"));
builder.append(useCustomIconTheme);
builder.nextLine();
JPanel p2 = new JPanel();
lab = new JLabel(Globals.lang("Custom icon theme file")+":");
p2.add(lab);
p2.add(customIconThemeFile);
BrowseAction browse = new BrowseAction(null, customIconThemeFile, false);
JButton browseBut = new JButton(Globals.lang("Browse"));
browseBut.addActionListener(browse);
p2.add(browseBut);
builder.append(p2);
*/
JPanel upper = new JPanel(),
sort = new JPanel(),
namesp = new JPanel(),
iconCol = new JPanel();
upper.setLayout(gbl);
sort.setLayout(gbl);
namesp.setLayout(gbl);
iconCol.setLayout(gbl);
overrideFonts.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
fontSize.setEnabled(overrideFonts.isSelected());
}
});
fontButton.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
// JDialog dl = new EntryCustomizationDialog(ths);
Font f=new FontSelectorDialog
(null, GUIGlobals.CURRENTFONT).getSelectedFont();
if(f==null)
return;
else
font = f;
}
});
/*menuFontButton.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
Font f=new FontSelectorDialog
(null, menuFont).getSelectedFont();
if(f==null)
return;
else
menuFont = f;
}
});*/
JPanel pan = builder.getPanel();
pan.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
add(pan, BorderLayout.CENTER);
}