add bold font style options to the Components settings tab font options
This commit is contained in:
parent
fbc1a28068
commit
4dbf2ece0a
|
@ -46,28 +46,40 @@ public class TabComponents extends SettingsTab
|
||||||
|
|
||||||
private JComboBox timerFont;
|
private JComboBox timerFont;
|
||||||
|
|
||||||
|
private JCheckBox timerFontBold;
|
||||||
|
|
||||||
private JSpinner timerSize;
|
private JSpinner timerSize;
|
||||||
|
|
||||||
private JComboBox timerSegFont;
|
private JComboBox timerSegFont;
|
||||||
|
|
||||||
|
private JCheckBox timerSegFontBold;
|
||||||
|
|
||||||
private JSpinner timerSegSize;
|
private JSpinner timerSegSize;
|
||||||
|
|
||||||
private JCheckBox timerSameFont;
|
private JCheckBox timerSameFont;
|
||||||
|
|
||||||
private JComboBox headerTitleFont;
|
private JComboBox headerTitleFont;
|
||||||
|
|
||||||
|
private JCheckBox headerTitleFontBold;
|
||||||
|
|
||||||
private JSpinner headerTitleSize;
|
private JSpinner headerTitleSize;
|
||||||
|
|
||||||
private JComboBox headerSubTitleFont;
|
private JComboBox headerSubTitleFont;
|
||||||
|
|
||||||
|
private JCheckBox headerSubTitleFontBold;
|
||||||
|
|
||||||
private JSpinner headerSubTitleSize;
|
private JSpinner headerSubTitleSize;
|
||||||
|
|
||||||
private JComboBox coreFont;
|
private JComboBox coreFont;
|
||||||
|
|
||||||
|
private JCheckBox coreFontBold;
|
||||||
|
|
||||||
private JSpinner coreFontSize;
|
private JSpinner coreFontSize;
|
||||||
|
|
||||||
private JComboBox otherTimeFont;
|
private JComboBox otherTimeFont;
|
||||||
|
|
||||||
|
private JCheckBox otherTimeFontBold;
|
||||||
|
|
||||||
private JSpinner otherTimeSize;
|
private JSpinner otherTimeSize;
|
||||||
|
|
||||||
TabComponents() {
|
TabComponents() {
|
||||||
|
@ -102,6 +114,10 @@ public class TabComponents extends SettingsTab
|
||||||
timerFont.setPreferredSize(new Dimension(130, 22));
|
timerFont.setPreferredSize(new Dimension(130, 22));
|
||||||
timerFont.addActionListener(this);
|
timerFont.addActionListener(this);
|
||||||
|
|
||||||
|
timerFontBold = new JCheckBox("" + Language.BOLD);
|
||||||
|
timerFontBold.setSelected(Settings.coreTimerFont.get().isBold());
|
||||||
|
timerFontBold.addChangeListener(this);
|
||||||
|
|
||||||
timerSize = new JSpinner(new SpinnerNumberModel(
|
timerSize = new JSpinner(new SpinnerNumberModel(
|
||||||
Settings.coreTimerFont.get().getSize(), 8, 240, 1)
|
Settings.coreTimerFont.get().getSize(), 8, 240, 1)
|
||||||
);
|
);
|
||||||
|
@ -114,6 +130,10 @@ public class TabComponents extends SettingsTab
|
||||||
timerSegFont.setPreferredSize(new Dimension(130, 22));
|
timerSegFont.setPreferredSize(new Dimension(130, 22));
|
||||||
timerSegFont.addActionListener(this);
|
timerSegFont.addActionListener(this);
|
||||||
|
|
||||||
|
timerSegFontBold = new JCheckBox("" + Language.BOLD);
|
||||||
|
timerSegFontBold.setSelected(Settings.coreSegmentTimerFont.get().isBold());
|
||||||
|
timerSegFontBold.addChangeListener(this);
|
||||||
|
|
||||||
timerSegSize = new JSpinner(new SpinnerNumberModel(
|
timerSegSize = new JSpinner(new SpinnerNumberModel(
|
||||||
Settings.coreSegmentTimerFont.get().getSize(), 8, 240, 1)
|
Settings.coreSegmentTimerFont.get().getSize(), 8, 240, 1)
|
||||||
);
|
);
|
||||||
|
@ -126,6 +146,10 @@ public class TabComponents extends SettingsTab
|
||||||
headerTitleFont.setPreferredSize(new Dimension(130, 22));
|
headerTitleFont.setPreferredSize(new Dimension(130, 22));
|
||||||
headerTitleFont.addActionListener(this);
|
headerTitleFont.addActionListener(this);
|
||||||
|
|
||||||
|
headerTitleFontBold = new JCheckBox("" + Language.BOLD);
|
||||||
|
headerTitleFontBold.setSelected(Settings.headerTitleFont.get().isBold());
|
||||||
|
headerTitleFontBold.addChangeListener(this);
|
||||||
|
|
||||||
headerTitleSize = new JSpinner(new SpinnerNumberModel(
|
headerTitleSize = new JSpinner(new SpinnerNumberModel(
|
||||||
Settings.headerTitleFont.get().getSize(), 8, 240, 1)
|
Settings.headerTitleFont.get().getSize(), 8, 240, 1)
|
||||||
);
|
);
|
||||||
|
@ -138,6 +162,10 @@ public class TabComponents extends SettingsTab
|
||||||
headerSubTitleFont.setPreferredSize(new Dimension(130, 22));
|
headerSubTitleFont.setPreferredSize(new Dimension(130, 22));
|
||||||
headerSubTitleFont.addActionListener(this);
|
headerSubTitleFont.addActionListener(this);
|
||||||
|
|
||||||
|
headerSubTitleFontBold = new JCheckBox("" + Language.BOLD);
|
||||||
|
headerSubTitleFontBold.setSelected(Settings.headerSubTitleFont.get().isBold());
|
||||||
|
headerSubTitleFontBold.addChangeListener(this);
|
||||||
|
|
||||||
headerSubTitleSize = new JSpinner(new SpinnerNumberModel(
|
headerSubTitleSize = new JSpinner(new SpinnerNumberModel(
|
||||||
Settings.headerSubTitleFont.get().getSize(), 8, 240, 1)
|
Settings.headerSubTitleFont.get().getSize(), 8, 240, 1)
|
||||||
);
|
);
|
||||||
|
@ -150,6 +178,10 @@ public class TabComponents extends SettingsTab
|
||||||
coreFont.setPreferredSize(new Dimension(130, 22));
|
coreFont.setPreferredSize(new Dimension(130, 22));
|
||||||
coreFont.addActionListener(this);
|
coreFont.addActionListener(this);
|
||||||
|
|
||||||
|
coreFontBold = new JCheckBox("" + Language.BOLD);
|
||||||
|
coreFontBold.setSelected(Settings.coreFont.get().isBold());
|
||||||
|
coreFontBold.addChangeListener(this);
|
||||||
|
|
||||||
coreFontSize = new JSpinner(new SpinnerNumberModel(
|
coreFontSize = new JSpinner(new SpinnerNumberModel(
|
||||||
Settings.coreFont.get().getSize(), 8, 240, 1)
|
Settings.coreFont.get().getSize(), 8, 240, 1)
|
||||||
);
|
);
|
||||||
|
@ -162,6 +194,10 @@ public class TabComponents extends SettingsTab
|
||||||
otherTimeFont.setPreferredSize(new Dimension(130, 22));
|
otherTimeFont.setPreferredSize(new Dimension(130, 22));
|
||||||
otherTimeFont.addActionListener(this);
|
otherTimeFont.addActionListener(this);
|
||||||
|
|
||||||
|
otherTimeFontBold = new JCheckBox("" + Language.BOLD);
|
||||||
|
otherTimeFontBold.setSelected(Settings.coreOtherTimeFont.get().isBold());
|
||||||
|
otherTimeFontBold.addChangeListener(this);
|
||||||
|
|
||||||
otherTimeSize = new JSpinner(new SpinnerNumberModel(
|
otherTimeSize = new JSpinner(new SpinnerNumberModel(
|
||||||
Settings.coreOtherTimeFont.get().getSize(), 8, 240, 1)
|
Settings.coreOtherTimeFont.get().getSize(), 8, 240, 1)
|
||||||
);
|
);
|
||||||
|
@ -233,8 +269,9 @@ public class TabComponents extends SettingsTab
|
||||||
timerSegFont.setEnabled(!timerSameFont.isSelected());
|
timerSegFont.setEnabled(!timerSameFont.isSelected());
|
||||||
if (timerSameFont.isSelected()) {
|
if (timerSameFont.isSelected()) {
|
||||||
int size = (Integer) timerSegSize.getValue();
|
int size = (Integer) timerSegSize.getValue();
|
||||||
|
int style = timerSegFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
Settings.coreSegmentTimerFont.set(
|
Settings.coreSegmentTimerFont.set(
|
||||||
Settings.coreTimerFont.get().deriveFont((float) size)
|
Settings.coreTimerFont.get().deriveFont((float) size).deriveFont(style)
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -242,39 +279,60 @@ public class TabComponents extends SettingsTab
|
||||||
|
|
||||||
@Override public void stateChanged(ChangeEvent event) {
|
@Override public void stateChanged(ChangeEvent event) {
|
||||||
Object source = event.getSource();
|
Object source = event.getSource();
|
||||||
|
|
||||||
if (source.equals(timerSize)) {
|
if (source.equals(timerSize)) {
|
||||||
int size = (Integer) timerSize.getValue();
|
int size = (Integer) timerSize.getValue();
|
||||||
Settings.coreTimerFont.set(
|
Settings.coreTimerFont.set(
|
||||||
Settings.coreTimerFont.get().deriveFont((float) size)
|
Settings.coreTimerFont.get().deriveFont((float) size)
|
||||||
);
|
);
|
||||||
|
} else if (source.equals(timerFontBold)) {
|
||||||
|
int style = timerFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
|
Settings.coreTimerFont.set(Settings.coreTimerFont.get().deriveFont(style));
|
||||||
|
|
||||||
} else if (source.equals(timerSegSize)) {
|
} else if (source.equals(timerSegSize)) {
|
||||||
int size = (Integer) timerSegSize.getValue();
|
int size = (Integer) timerSegSize.getValue();
|
||||||
Settings.coreSegmentTimerFont.set(
|
Settings.coreSegmentTimerFont.set(
|
||||||
Settings.coreSegmentTimerFont.get().deriveFont((float) size)
|
Settings.coreSegmentTimerFont.get().deriveFont((float) size)
|
||||||
);
|
);
|
||||||
|
} else if (source.equals(timerSegFontBold)) {
|
||||||
|
int style = timerSegFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
|
Settings.coreSegmentTimerFont.set(Settings.coreSegmentTimerFont.get().deriveFont(style));
|
||||||
|
|
||||||
} else if (source.equals(headerTitleSize)) {
|
} else if (source.equals(headerTitleSize)) {
|
||||||
int size = (Integer) headerTitleSize.getValue();
|
int size = (Integer) headerTitleSize.getValue();
|
||||||
Settings.headerTitleFont.set(
|
Settings.headerTitleFont.set(
|
||||||
Settings.headerTitleFont.get().deriveFont((float) size)
|
Settings.headerTitleFont.get().deriveFont((float) size)
|
||||||
);
|
);
|
||||||
|
} else if (source.equals(headerTitleFontBold)) {
|
||||||
|
int style = headerTitleFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
|
Settings.headerTitleFont.set(Settings.headerTitleFont.get().deriveFont(style));
|
||||||
|
|
||||||
} else if (source.equals(headerSubTitleSize)) {
|
} else if (source.equals(headerSubTitleSize)) {
|
||||||
int size = (Integer) headerSubTitleSize.getValue();
|
int size = (Integer) headerSubTitleSize.getValue();
|
||||||
Settings.headerSubTitleFont.set(
|
Settings.headerSubTitleFont.set(
|
||||||
Settings.headerSubTitleFont.get().deriveFont((float) size)
|
Settings.headerSubTitleFont.get().deriveFont((float) size)
|
||||||
);
|
);
|
||||||
|
} else if (source.equals(headerSubTitleFontBold)) {
|
||||||
|
int style = headerSubTitleFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
|
Settings.headerSubTitleFont.set(Settings.headerSubTitleFont.get().deriveFont(style));
|
||||||
|
|
||||||
} else if (source.equals(coreFontSize)) {
|
} else if (source.equals(coreFontSize)) {
|
||||||
int size = (Integer) coreFontSize.getValue();
|
int size = (Integer) coreFontSize.getValue();
|
||||||
Settings.coreFont.set(
|
Settings.coreFont.set(
|
||||||
Settings.coreFont.get().deriveFont((float) size)
|
Settings.coreFont.get().deriveFont((float) size)
|
||||||
);
|
);
|
||||||
|
} else if (source.equals(coreFontBold)) {
|
||||||
|
int style = coreFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
|
Settings.coreFont.set(Settings.coreFont.get().deriveFont(style));
|
||||||
|
|
||||||
} else if (source.equals(otherTimeSize)) {
|
} else if (source.equals(otherTimeSize)) {
|
||||||
int size = (Integer) otherTimeSize.getValue();
|
int size = (Integer) otherTimeSize.getValue();
|
||||||
Settings.coreOtherTimeFont.set(
|
Settings.coreOtherTimeFont.set(
|
||||||
Settings.coreOtherTimeFont.get().deriveFont((float) size)
|
Settings.coreOtherTimeFont.get().deriveFont((float) size)
|
||||||
);
|
);
|
||||||
|
} else if (source.equals(otherTimeFontBold)) {
|
||||||
|
int style = otherTimeFontBold.isSelected() ? Font.BOLD : Font.PLAIN;
|
||||||
|
Settings.coreOtherTimeFont.set(Settings.coreOtherTimeFont.get().deriveFont(style));
|
||||||
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -303,6 +361,7 @@ public class TabComponents extends SettingsTab
|
||||||
);
|
);
|
||||||
fontPanel.add(timerFont, GBC.grid(1, 0));
|
fontPanel.add(timerFont, GBC.grid(1, 0));
|
||||||
fontPanel.add(timerSize, GBC.grid(2, 0).insets(0, 5));
|
fontPanel.add(timerSize, GBC.grid(2, 0).insets(0, 5));
|
||||||
|
fontPanel.add(timerFontBold, GBC.grid(3, 0));
|
||||||
|
|
||||||
fontPanel.add(
|
fontPanel.add(
|
||||||
new JLabel("" + Language.setting_core_segmentTimerFont),
|
new JLabel("" + Language.setting_core_segmentTimerFont),
|
||||||
|
@ -314,6 +373,7 @@ public class TabComponents extends SettingsTab
|
||||||
);
|
);
|
||||||
fontPanel.add(timerSegFont, GBC.grid(1, 2));
|
fontPanel.add(timerSegFont, GBC.grid(1, 2));
|
||||||
fontPanel.add(timerSegSize, GBC.grid(2, 2).insets(0, 5));
|
fontPanel.add(timerSegSize, GBC.grid(2, 2).insets(0, 5));
|
||||||
|
fontPanel.add(timerSegFontBold, GBC.grid(3, 2));
|
||||||
|
|
||||||
fontPanel.add(
|
fontPanel.add(
|
||||||
new JLabel("" + Language.setting_header_titleFont),
|
new JLabel("" + Language.setting_header_titleFont),
|
||||||
|
@ -321,6 +381,7 @@ public class TabComponents extends SettingsTab
|
||||||
);
|
);
|
||||||
fontPanel.add(headerTitleFont, GBC.grid(1, 3));
|
fontPanel.add(headerTitleFont, GBC.grid(1, 3));
|
||||||
fontPanel.add(headerTitleSize, GBC.grid(2, 3).insets(0, 5));
|
fontPanel.add(headerTitleSize, GBC.grid(2, 3).insets(0, 5));
|
||||||
|
fontPanel.add(headerTitleFontBold, GBC.grid(3, 3));
|
||||||
|
|
||||||
fontPanel.add(
|
fontPanel.add(
|
||||||
new JLabel("" + Language.setting_header_subTitleFont),
|
new JLabel("" + Language.setting_header_subTitleFont),
|
||||||
|
@ -328,6 +389,7 @@ public class TabComponents extends SettingsTab
|
||||||
);
|
);
|
||||||
fontPanel.add(headerSubTitleFont, GBC.grid(1, 4));
|
fontPanel.add(headerSubTitleFont, GBC.grid(1, 4));
|
||||||
fontPanel.add(headerSubTitleSize, GBC.grid(2, 4).insets(0, 5));
|
fontPanel.add(headerSubTitleSize, GBC.grid(2, 4).insets(0, 5));
|
||||||
|
fontPanel.add(headerSubTitleFontBold, GBC.grid(3, 4));
|
||||||
|
|
||||||
fontPanel.add(
|
fontPanel.add(
|
||||||
new JLabel("" + Language.setting_core_font),
|
new JLabel("" + Language.setting_core_font),
|
||||||
|
@ -335,6 +397,7 @@ public class TabComponents extends SettingsTab
|
||||||
);
|
);
|
||||||
fontPanel.add(coreFont, GBC.grid(1, 5));
|
fontPanel.add(coreFont, GBC.grid(1, 5));
|
||||||
fontPanel.add(coreFontSize, GBC.grid(2, 5).insets(0, 5));
|
fontPanel.add(coreFontSize, GBC.grid(2, 5).insets(0, 5));
|
||||||
|
fontPanel.add(coreFontBold, GBC.grid(3, 5));
|
||||||
|
|
||||||
fontPanel.add(
|
fontPanel.add(
|
||||||
new JLabel("" + Language.setting_core_otherTimeFont),
|
new JLabel("" + Language.setting_core_otherTimeFont),
|
||||||
|
@ -342,6 +405,7 @@ public class TabComponents extends SettingsTab
|
||||||
);
|
);
|
||||||
fontPanel.add(otherTimeFont, GBC.grid(1, 6));
|
fontPanel.add(otherTimeFont, GBC.grid(1, 6));
|
||||||
fontPanel.add(otherTimeSize, GBC.grid(2, 6).insets(0, 5));
|
fontPanel.add(otherTimeSize, GBC.grid(2, 6).insets(0, 5));
|
||||||
|
fontPanel.add(otherTimeFontBold, GBC.grid(3, 6));
|
||||||
}
|
}
|
||||||
JPanel timerPanel = new JPanel(new GridBagLayout()); {
|
JPanel timerPanel = new JPanel(new GridBagLayout()); {
|
||||||
timerPanel.add(
|
timerPanel.add(
|
||||||
|
|
Reference in a new issue