GUI: deck legality and themes improves:

* Improved formats list in deck legality panel (#6854);
 * Added hide button to deck legality panel (#6854);
 * Fixed themes names and added theme info in startup logs;
This commit is contained in:
Oleg Agafonov 2020-08-03 00:07:13 +04:00
parent c9c1bc2b90
commit 309b3f5636
7 changed files with 46 additions and 17 deletions

View file

@ -76,6 +76,18 @@ public class LegalityLabel extends JLabel {
setPreferredSize(DIM_PREFERRED);
}
/**
* Creates hide button to close legality panel (must be same size as label)
*/
public static JButton createHideButton() {
JButton button = new JButton("Hide");
button.setHorizontalAlignment(SwingConstants.CENTER);
button.setMinimumSize(DIM_MINIMUM);
button.setMaximumSize(DIM_MAXIMUM);
button.setPreferredSize(DIM_PREFERRED);
return button;
}
public String getErrorMessage() {
return errorMessage;
}