* Setting of mana automatic payment option is saved and restored now so persistent between games (fixes #1002).

This commit is contained in:
LevelX2 2015-06-05 00:05:40 +02:00
parent 3b9cb1dc6e
commit a50447c84d
3 changed files with 11 additions and 1 deletions

View file

@ -132,6 +132,9 @@ public class PreferencesDialog extends javax.swing.JDialog {
public static final String KEY_STOP_ALL_MAIN_PHASES = "stopOnAllMainPhases";
public static final String KEY_STOP_ALL_END_PHASES = "stopOnAllEndPhases";
// mana auto payment
public static final String KEY_GAME_MANA_AUTOPAYMENT = "gameManaAutopayment";
// Size of frame to check if divider locations should be used
public static final String KEY_MAGE_PANEL_LAST_SIZE = "gamepanelLastSize";