make the main window user-resizable only if "window autosize" is set
This commit is contained in:
parent
684c924cec
commit
2609364f7e
|
@ -73,6 +73,7 @@ public class Llanfair extends BorderlessFrame implements TableModelListener,
|
||||||
|
|
||||||
RESOURCES = new Resources();
|
RESOURCES = new Resources();
|
||||||
registerFonts();
|
registerFonts();
|
||||||
|
setResizable(Settings.windowAutoSize.get());
|
||||||
setLookAndFeel();
|
setLookAndFeel();
|
||||||
addComponentListener(this);
|
addComponentListener(this);
|
||||||
|
|
||||||
|
@ -353,6 +354,7 @@ public class Llanfair extends BorderlessFrame implements TableModelListener,
|
||||||
|| Settings.windowAutoSize.equals(property)
|
|| Settings.windowAutoSize.equals(property)
|
||||||
|| Settings.windowWidth.equals(property)
|
|| Settings.windowWidth.equals(property)
|
||||||
|| Run.NAME_PROPERTY.equals(property)) {
|
|| Run.NAME_PROPERTY.equals(property)) {
|
||||||
|
setResizable(Settings.windowAutoSize.get());
|
||||||
forceResize();
|
forceResize();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Reference in a new issue