mirror of
https://github.com/dmolony/DiskBrowser.git
synced 2024-11-23 19:31:00 +00:00
tidying
This commit is contained in:
parent
3dc2a9e895
commit
48b95db89b
@ -23,11 +23,12 @@ class PreferencesDialog extends JDialog
|
||||
static final int defaultFontSize = 12;
|
||||
static final String[] monoFonts = new FontTester ().getMonospacedFontList ();
|
||||
|
||||
private final JComboBox catalogFontList = new JComboBox (monoFonts);
|
||||
private final JComboBox dataFontList = new JComboBox (monoFonts);
|
||||
private final String[] sizes = { "8", "9", "10", "11", "12", "13", "14", "15", "16" };
|
||||
private final JComboBox catalogFontSizes = new JComboBox (sizes);
|
||||
private final JComboBox dataFontSizes = new JComboBox (sizes);
|
||||
private final JComboBox<String> catalogFontList = new JComboBox<String> (monoFonts);
|
||||
private final JComboBox<String> dataFontList = new JComboBox<String> (monoFonts);
|
||||
private final String[] sizes =
|
||||
{ "8", "9", "10", "11", "12", "13", "14", "15", "16", "18" };
|
||||
private final JComboBox<String> catalogFontSizes = new JComboBox<String> (sizes);
|
||||
private final JComboBox<String> dataFontSizes = new JComboBox<String> (sizes);
|
||||
private final Preferences prefs;
|
||||
|
||||
private final JButton apply = new JButton ("Apply");
|
||||
|
Loading…
Reference in New Issue
Block a user