From ef39e6e1739435f8c079bc2d94765e735da0b52a Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Wed, 6 Sep 2017 21:49:39 +0100
Subject: [PATCH] HTML: move 'New game' back out of the drop-down menu.

The only user to send me a comment today on the new layout said that
that menu item in particular is annoying to have hidden behind more
clicks, so by a vote of one to nothing, it's back out in the open.
---
 html/jspage.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/jspage.pl b/html/jspage.pl
index 3c3a2d6..ed971ae 100755
--- a/html/jspage.pl
+++ b/html/jspage.pl
@@ -206,7 +206,6 @@ ${unfinishedpara}
 <hr>
 <div id="puzzle" style="display: none">
 <div id="gamemenu"><ul><li>Game...<ul
-><li id="new">New game</li
 ><li id="specific">Enter game ID</li
 ><li id="random">Enter random seed</li
 ><li id="save">Download save file</li
@@ -214,6 +213,7 @@ ${unfinishedpara}
 ></ul></li
 ><li>Type...<ul id="gametype"></ul></li
 ><li class="separator"></li
+><li id="new">New game</li
 ><li id="restart" class="afterseparator">Restart game</li
 ><li id="undo">Undo move</li
 ><li id="redo">Redo move</li
-- 
2.30.2