forked from External/mage
* Deck editor - Saved the search checkbox options to reset for next deck editor start.
This commit is contained in:
parent
21dbf89a70
commit
2fb8926432
3 changed files with 27 additions and 14 deletions
|
|
@ -192,6 +192,11 @@ public class PreferencesDialog extends javax.swing.JDialog {
|
|||
public static final String KEY_DECK_EDITOR_LAST_SORT = "deckEditorLastSort";
|
||||
public static final String KEY_DECK_EDITOR_LAST_SEPARATE_CREATURES = "deckEditorLastSeparateCreatures";
|
||||
|
||||
public static final String KEY_DECK_EDITOR_SEARCH_NAMES = "deckEditorSearchNames";
|
||||
public static final String KEY_DECK_EDITOR_SEARCH_TYPES = "deckEditorSearchTypes";
|
||||
public static final String KEY_DECK_EDITOR_SEARCH_RULES = "deckEditorSearchRules";
|
||||
public static final String KEY_DECK_EDITOR_SEARCH_UNIQUE = "deckEditorSearchUnique";
|
||||
|
||||
// positions of divider bars
|
||||
public static final String KEY_TABLES_DIVIDER_LOCATION_1 = "tablePanelDividerLocation1";
|
||||
public static final String KEY_TABLES_DIVIDER_LOCATION_2 = "tablePanelDividerLocation2";
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue