automatically restart when display settings changed

2016-10-11 11:47:46 +02:00
parent 0e43e6f938
commit 4d16508625
2 changed files with 31 additions and 2 deletions
--- a/src/itdelatrisu/opsu/states/OptionsMenu.java
+++ b/src/itdelatrisu/opsu/states/OptionsMenu.java
@@ -509,11 +509,22 @@ public class OptionsMenu extends BasicGameState {
 		}
 	}

+	private int lastResIdx;
+
 	@Override
 	public void enter(GameContainer container, StateBasedGame game)
 			throws SlickException {
 		UI.enter();
 		currentTab = OptionTab.DANCE;
+		lastResIdx = Options.getResolutionIdx();
+	}
+
+	@Override
+	public void leave(GameContainer container, StateBasedGame game) throws SlickException {
+		if (Options.wasResolutionChanged || Options.getResolutionIdx() != lastResIdx) {
+			container.setForceExit(false);
+			container.exit();
+		}
 	}

 	/**