make table rows a bit larger

This commit is contained in:
Zlatin Balevsky
2019-11-02 15:58:48 +00:00
parent c73c44c5f2
commit e4f1ea5c10

View File

@@ -117,7 +117,7 @@ class Initialize extends AbstractLifecycleHandler {
def guiPropsFile = new File(home, "gui.properties") def guiPropsFile = new File(home, "gui.properties")
UISettings uiSettings UISettings uiSettings
int rowHeight = 14 int rowHeight = 15
if (guiPropsFile.exists()) { if (guiPropsFile.exists()) {
Properties props = new Properties() Properties props = new Properties()
guiPropsFile.withInputStream { props.load(it) } guiPropsFile.withInputStream { props.load(it) }
@@ -150,7 +150,7 @@ class Initialize extends AbstractLifecycleHandler {
} else { } else {
fontSize = uiSettings.fontSize fontSize = uiSettings.fontSize
} }
rowHeight = fontSize + 2 rowHeight = fontSize + 3
FontUIResource font = new FontUIResource(fontName, Font.PLAIN, fontSize) FontUIResource font = new FontUIResource(fontName, Font.PLAIN, fontSize)
def keys = lnf.getDefaults().keys() def keys = lnf.getDefaults().keys()