move download details divider based on frame size

pull/53/head
Zlatin Balevsky 2020-10-12 11:27:52 +01:00
parent 5d8a408cb8
commit 6f6d6f5065
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 3 additions and 1 deletions

View File

@ -99,11 +99,13 @@ class MainFrameView {
int mainFrameX = 1 int mainFrameX = 1
int mainFrameY = 1 int mainFrameY = 1
int dividerLocation = 750
boolean pack = true boolean pack = true
if (settings.mainFrameX > 0 && settings.mainFrameY > 0) { if (settings.mainFrameX > 0 && settings.mainFrameY > 0) {
pack = false pack = false
mainFrameX = settings.mainFrameX mainFrameX = settings.mainFrameX
mainFrameY = settings.mainFrameY mainFrameY = settings.mainFrameY
dividerLocation = (int)(mainFrameY * 0.75d)
} }
builder.with { builder.with {
@ -225,7 +227,7 @@ class MainFrameView {
} }
panel (constraints: "downloads window") { panel (constraints: "downloads window") {
gridLayout(rows : 1, cols : 1) gridLayout(rows : 1, cols : 1)
splitPane(orientation: JSplitPane.VERTICAL_SPLIT, continuousLayout : true, dividerLocation: 500 ) { splitPane(orientation: JSplitPane.VERTICAL_SPLIT, continuousLayout : true, dividerLocation: dividerLocation) {
panel { panel {
borderLayout() borderLayout()
scrollPane (constraints : BorderLayout.CENTER) { scrollPane (constraints : BorderLayout.CENTER) {