# HG changeset patch # User Jaroslav Tulach # Date 1405947922 -7200 # Node ID 1e482b09b814e187bba8143478ff343ad435967b # Parent d39729fe7b76a251341b765a177895743d380795 Only enable 'show and mark mines' when the game is still in progress diff -r d39729fe7b76 -r 1e482b09b814 minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java --- a/minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java Sat Jul 19 17:46:12 2014 +0200 +++ b/minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java Mon Jul 21 15:05:22 2014 +0200 @@ -88,6 +88,10 @@ return state != null; } + @ComputedProperty static boolean gameInProgress(GameState state) { + return state == GameState.IN_PROGRESS; + } + @Function static void showHelp(Mines model) { model.setState(null); } diff -r d39729fe7b76 -r 1e482b09b814 minesweeper/src/main/webapp/pages/index.html --- a/minesweeper/src/main/webapp/pages/index.html Sat Jul 19 17:46:12 2014 +0200 +++ b/minesweeper/src/main/webapp/pages/index.html Mon Jul 21 15:05:22 2014 +0200 @@ -60,11 +60,11 @@ New Game! - -