GUI: fixed wrong font size in debug menu and quick game buttons

This commit is contained in:
Oleg Agafonov 2024-06-10 21:51:05 +04:00
parent fe55e67ca3
commit 88a451bb4f
2 changed files with 6 additions and 0 deletions

View file

@ -639,6 +639,10 @@ public class TablesPanel extends javax.swing.JPanel {
buttonNextMessage.setFont(GUISizeHelper.menuFont);
labelMessageHeader.setFont(new Font(GUISizeHelper.menuFont.getName(), Font.BOLD, GUISizeHelper.menuFont.getSize()));
labelMessageText.setFont(GUISizeHelper.menuFont);
btnQuickStart2Player.setFont(GUISizeHelper.menuFont);
btnQuickStart4Player.setFont(GUISizeHelper.menuFont);
btnQuickStartMCTS.setFont(GUISizeHelper.menuFont);
}
private void saveDividerLocations() {