* GUI: fixed that Historic games aren't visible in lobby list (now it visible under "other" filter);

This commit is contained in:
Oleg Agafonov 2020-08-23 21:54:34 +04:00
parent b7d86a71da
commit 40fe3b137e
2 changed files with 3 additions and 3 deletions

View file

@ -509,7 +509,7 @@
<Properties>
<Property name="selected" type="boolean" value="true"/>
<Property name="text" type="java.lang.String" value="Other"/>
<Property name="toolTipText" type="java.lang.String" value="Other formats (Freeform, Pauper, Extended, etc.)"/>
<Property name="toolTipText" type="java.lang.String" value="Other formats (Freeform, Pauper, Historic, Extended, etc.)"/>
<Property name="focusPainted" type="boolean" value="false"/>
<Property name="focusable" type="boolean" value="false"/>
<Property name="requestFocusEnabled" type="boolean" value="false"/>

View file

@ -896,7 +896,7 @@ public class TablesPanel extends javax.swing.JPanel {
formatFilterList.add(RowFilter.regexFilter("^Limited", TablesTableModel.COLUMN_DECK_TYPE));
}
if (btnFormatOther.isSelected()) {
formatFilterList.add(RowFilter.regexFilter("^Momir Basic|^Constructed - Pauper|^Constructed - Frontier|^Constructed - Extended|^Constructed - Eternal|^Constructed - Historical|^Constructed - Super|^Constructed - Freeform|^Australian Highlander|^Canadian Highlander|^Constructed - Old", TablesTableModel.COLUMN_DECK_TYPE));
formatFilterList.add(RowFilter.regexFilter("^Momir Basic|^Constructed - Pauper|^Constructed - Frontier|^Constructed - Extended|^Constructed - Eternal|^Constructed - Historical|^Constructed - Super|^Constructed - Freeform|^Australian Highlander|^Canadian Highlander|^Constructed - Old|^Constructed - Historic", TablesTableModel.COLUMN_DECK_TYPE));
}
// skill
@ -1458,7 +1458,7 @@ public class TablesPanel extends javax.swing.JPanel {
btnFormatOther.setSelected(true);
btnFormatOther.setText("Other");
btnFormatOther.setToolTipText("Other formats (Freeform, Pauper, Extended, etc.)");
btnFormatOther.setToolTipText("Other formats (Freeform, Pauper, Historic, Extended, etc.)");
btnFormatOther.setFocusPainted(false);
btnFormatOther.setFocusable(false);
btnFormatOther.setRequestFocusEnabled(false);