forked from External/mage
Some more changes to GUI to better support high screen resolutions.
This commit is contained in:
parent
2ce5e00c6d
commit
706d319f81
25 changed files with 376 additions and 229 deletions
|
|
@ -724,9 +724,8 @@ public class PreferencesDialog extends javax.swing.JDialog {
|
|||
fontSizeLabel.setText("Size");
|
||||
fontSizeLabel.setToolTipText("<HTML>The size of the font used to display text.");
|
||||
guiSize_font.add(fontSizeLabel, java.awt.BorderLayout.CENTER);
|
||||
fontSizeLabel.getAccessibleContext().setAccessibleName("Size");
|
||||
|
||||
sliderFontSize.setMajorTickSpacing(10);
|
||||
sliderFontSize.setMajorTickSpacing(5);
|
||||
sliderFontSize.setMaximum(50);
|
||||
sliderFontSize.setMinimum(10);
|
||||
sliderFontSize.setMinorTickSpacing(1);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue