1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
|
//Screen size
int width = (int) Toolkit.getDefaultToolkit().getScreenSize().width;
int height = (int) Toolkit.getDefaultToolkit().getScreenSize().height;
Dimension minSize = new Dimension(0,175);
Dimension maxSize = new Dimension(width, height - (height/4));
//Separator between panTabs and tabLog
split = new JSplitPane(JSplitPane.VERTICAL_SPLIT, panTab, panLog);
/*
* la ligne soulignée fonctionne quand je suis en mode normale mais
* il serait bien s'il pouvez aussi changer quand ma Frame change
* de dimension, comme un plein écran ou simplement un agrandissement manuel avec la souris
*/
//split.setDividerLocation(175);
//du-coup j'essaye ceci :
split.setMinimumSize(minSize);
split.setMaximumSize(maxSize);
split.setOneTouchExpandable(true); |
Partager