1 files changed, 242 insertions, 0 deletions
diff --git a/apps/plugins/puzzles/src/html/jspage.pl b/apps/plugins/puzzles/src/html/jspage.pl
new file mode 100755
index 0000000000..a21f977166
--- /dev/null
+++ b/apps/plugins/puzzles/src/html/jspage.pl
@@ -0,0 +1,242 @@
+#!/usr/bin/perl
+use strict;
+use warnings;
+open my $footerfile, "<", shift @ARGV or die "footer: open: $!\n";
+my $footer = "";
+$footer .= $_ while <$footerfile>;
+close $footerfile;
+for my $arg (@ARGV) {
+    $arg =~ /(.*\/)?([^\/]+)\.html$/ or die;
+    my $filename = $2;
+    open my $gamefile, "<", $arg or die "$arg: open: $!\n";
+    my $unfinished = 0;
+    my $docname = $filename;
+    chomp(my $puzzlename = <$gamefile>);
+    while ($puzzlename =~ s/^([^:=]+)(=([^:]+))?://) {
+        if ($1 eq "unfinished") {
+            $unfinished = 1;
+        } elsif ($1 eq "docname") {
+            $docname = $3;
+        } else {
+            die "$arg: unknown keyword '$1'\n";
+        }
+    }
+    my $instructions = "";
+    $instructions .= $_ while <$gamefile>;
+    close $gamefile;
+    open my $outpage, ">", "${filename}.html";
+    my $unfinishedtitlefragment = $unfinished ? "an unfinished puzzle " : "";
+    my $unfinishedheading = $unfinished ? "<h2 align=center>an unfinished puzzle</h2>\n" : "";
+    my $unfinishedpara;
+    my $links;
+    if ($unfinished) {
+        $unfinishedpara = <<EOF;
+<p>
+You have found your way to a page containing an <em>unfinished</em>
+puzzle in my collection, not linked from the <a href="../">main
+puzzles page</a>. Don't be surprised if things are hard to understand
+or don't work as you expect.
+EOF
+        $links = <<EOF;
+<p align="center">
+<a href="../">Back to main puzzles page</a> (which does not link to this)
+EOF
+    } else {
+        $unfinishedpara = "";
+        $links = <<EOF;
+<p align="center">
+<a href="../doc/${docname}.html#${docname}">Full instructions</a>
+|
+<a href="../">Back to main puzzles page</a>
+EOF
+    }
+    print $outpage <<EOF;
+<!DOCTYPE html>
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=ASCII" />
+<title>${puzzlename}, ${unfinishedtitlefragment}from Simon Tatham's Portable Puzzle Collection</title>
+<script type="text/javascript" src="${filename}.js"></script>
+<style class="text/css">
+/* Margins and centring on the top-level div for the game menu */
+#gamemenu { margin-top: 0; margin-bottom: 0.5em; text-align: center }
+/* Inside that div, the main menu bar and every submenu inside it is a <ul> */
+#gamemenu ul {
+    list-style: none;  /* get rid of the normal unordered-list bullets */
+    display: inline;   /* make top-level menu bar items appear side by side */
+    position: relative; /* allow submenus to position themselves near parent */
+    margin: 0;
+    margin-bottom: 0.5em;
+    padding: 0;
+}
+/* Individual menu items are <li> elements within such a <ul> */
+#gamemenu ul li {
+    /* Add a little mild text formatting */
+    font-weight: bold; font-size: 0.8em;
+    /* Line height and padding appropriate to top-level menu items */
+    padding-left: 0.75em; padding-right: 0.75em;
+    padding-top: 0.2em; padding-bottom: 0.2em;
+    margin: 0;
+    /* Make top-level menu items appear side by side, not vertically stacked */
+    display: inline;
+    /* Suppress the text-selection I-beam pointer */
+    cursor: default;
+    /* Surround each menu item with a border. The left border is removed
+     * because it will abut the right border of the previous item. (A rule
+     * below will reinstate the left border for the leftmost menu item.) */
+    border-left: 0;
+    border-right: 1px solid rgba(0,0,0,0.3);
+    border-top: 1px solid rgba(0,0,0,0.3);
+    border-bottom: 1px solid rgba(0,0,0,0.3);
+}
+#gamemenu ul li.disabled {
+    /* Grey out menu items with the "disabled" class */
+    color: rgba(0,0,0,0.5);
+}
+#gamemenu ul li:first-of-type {
+    /* Reinstate the left border for the leftmost top-level menu item */
+    border-left: 1px solid rgba(0,0,0,0.3);
+}
+#gamemenu ul li:hover {
+    /* When the mouse is over a menu item, highlight it */
+    background: rgba(0,0,0,0.3);
+    /* Set position:relative, so that if this item has a submenu it can
+     * position itself relative to the parent item. */
+    position: relative;
+}
+#gamemenu ul li.disabled:hover {
+    /* Disabled menu items don't get a highlight on mouse hover */
+    background: inherit;
+}
+#gamemenu ul ul {
+    /* Second-level menus and below are not displayed by default */
+    display: none;
+    /* When they are displayed, they are positioned immediately below
+     * their parent <li>, and with the left edge aligning */
+    position: absolute;
+    top: 100%;
+    left: 0;
+    /* We must specify an explicit background colour for submenus, because
+     * they must be opaque (don't want other page contents showing through
+     * them). */
+    background: white;
+    /* And make sure they appear in front. */
+    z-index: 1;
+}
+#gamemenu ul ul.left {
+    /* A second-level menu with class "left" aligns its right edge with
+     * its parent, rather than its left edge */
+    left: inherit; right: 0;
+}
+/* Menu items in second-level menus and below */
+#gamemenu ul ul li {
+    /* Go back to vertical stacking, for drop-down submenus */
+    display: block;
+    /* Inhibit wrapping, so the submenu will expand its width as needed. */
+    white-space: nowrap;
+    /* Override the text-align:center from above */
+    text-align: left;
+    /* Don't make the text any smaller than the previous level of menu */
+    font-size: 100%;
+    /* This time it's the top border that we omit on all but the first
+     * element in the submenu, since now they're vertically stacked */
+    border-left: 1px solid rgba(0,0,0,0.3);
+    border-right: 1px solid rgba(0,0,0,0.3);
+    border-top: 0;
+    border-bottom: 1px solid rgba(0,0,0,0.3);
+}
+#gamemenu ul ul li:first-of-type {
+    /* Reinstate top border for first item in a submenu */
+    border-top: 1px solid rgba(0,0,0,0.3);
+}
+#gamemenu ul ul ul {
+    /* Third-level submenus are drawn to the side of their parent menu
+     * item, not below it */
+    top: 0; left: 100%;
+}
+#gamemenu ul ul ul.left {
+    /* A submenu with class "left" goes to the left of its parent,
+     * not the right */
+    left: inherit; right: 100%;
+}
+#gamemenu ul li:hover > ul {
+    /* Last but by no means least, the all-important line that makes
+     * submenus be displayed! Any <ul> whose parent <li> is being
+     * hovered over gets display:block overriding the display:none
+     * from above. */
+    display: block;
+}
+</style>
+</head>
+<body onLoad="initPuzzle();">
+<h1 align=center>${puzzlename}</h1>
+${unfinishedheading}
+<h2 align=center>from Simon Tatham's Portable Puzzle Collection</h2>
+${unfinishedpara}
+<hr>
+<div id="puzzle" style="display: none">
+<div id="gamemenu"><ul><li id="new">New game</li
+><li id="restart">Restart game</li
+><li id="undo">Undo move</li
+><li id="redo">Redo move</li
+><li id="solve">Solve game</li
+><li id="specific">Enter game ID</li
+><li id="random">Enter random seed</li
+><li>Select game type<ul id="gametype" class="left"></ul></li
+></ul></div>
+<div align=center>
+  <div id="resizable" style="position:relative; left:0; top:0">
+  <canvas style="display: block" id="puzzlecanvas" width="1px" height="1px" tabindex="1">
+  </canvas>
+  <div id="statusbarholder" style="display: block">
+  </div>
+  </div>
+  <p>
+    Link to this puzzle:
+    <a id="permalink-desc">by game ID</a>
+    <a id="permalink-seed">by random seed</a>
+  </p>
+</div>
+</div>
+<div id="apology">
+Sorry, this Javascript puzzle doesn't seem to work in your web
+browser. Perhaps you have Javascript disabled, or perhaps your browser
+doesn't provide a feature that the puzzle code requires (such as
+<a href="https://developer.mozilla.org/en-US/docs/JavaScript/Typed_arrays">typed arrays</a>).
+These puzzles have been successfully run in Firefox 19, Chrome 26,
+Internet Explorer 10 and Safari 6.
+</div>
+<hr>
+${instructions}
+${links}
+${footer}
+</body>
+</html>
+EOF
+    close $outpage;
+}

diff --git a/apps/plugins/puzzles/src/html/jspage.pl b/apps/plugins/puzzles/src/html/jspage.pl new file mode 100755 index 0000000000..a21f977166 --- /dev/null +++ b/apps/plugins/puzzles/src/html/jspage.pl
@@ -0,0 +1,242 @@
	1	#!/usr/bin/perl
	2
	3	use strict;
	4	use warnings;
	5
	6	open my $footerfile, "<", shift @ARGV or die "footer: open: $!\n";
	7	my $footer = "";
	8	$footer .= $_ while <$footerfile>;
	9	close $footerfile;
	10
	11	for my $arg (@ARGV) {
	12	$arg =~ /(.*\/)?([^\/]+)\.html$/ or die;
	13	my $filename = $2;
	14	open my $gamefile, "<", $arg or die "$arg: open: $!\n";
	15	my $unfinished = 0;
	16	my $docname = $filename;
	17	chomp(my $puzzlename = <$gamefile>);
	18	while ($puzzlename =~ s/^([^:=]+)(=([^:]+))?://) {
	19	if ($1 eq "unfinished") {
	20	$unfinished = 1;
	21	} elsif ($1 eq "docname") {
	22	$docname = $3;
	23	} else {
	24	die "$arg: unknown keyword '$1'\n";
	25	}
	26	}
	27	my $instructions = "";
	28	$instructions .= $_ while <$gamefile>;
	29	close $gamefile;
	30
	31	open my $outpage, ">", "${filename}.html";
	32
	33	my $unfinishedtitlefragment = $unfinished ? "an unfinished puzzle " : "";
	34	my $unfinishedheading = $unfinished ? "<h2 align=center>an unfinished puzzle</h2>\n" : "";
	35	my $unfinishedpara;
	36	my $links;
	37	if ($unfinished) {
	38	$unfinishedpara = <<EOF;
	39	<p>
	40	You have found your way to a page containing an <em>unfinished</em>
	41	puzzle in my collection, not linked from the <a href="../">main
	42	puzzles page</a>. Don't be surprised if things are hard to understand
	43	or don't work as you expect.
	44	EOF
	45	$links = <<EOF;
	46	<p align="center">
	47	<a href="../">Back to main puzzles page</a> (which does not link to this)
	48	EOF
	49	} else {
	50	$unfinishedpara = "";
	51	$links = <<EOF;
	52	<p align="center">
	53	<a href="../doc/${docname}.html#${docname}">Full instructions</a>
	54	\|
	55	<a href="../">Back to main puzzles page</a>
	56	EOF
	57	}
	58
	59	print $outpage <<EOF;
	60	<!DOCTYPE html>
	61	<html>
	62	<head>
	63	<meta http-equiv="Content-Type" content="text/html; charset=ASCII" />
	64	<title>${puzzlename}, ${unfinishedtitlefragment}from Simon Tatham's Portable Puzzle Collection</title>
	65	<script type="text/javascript" src="${filename}.js"></script>
	66	<style class="text/css">
	67	/* Margins and centring on the top-level div for the game menu */
	68	#gamemenu { margin-top: 0; margin-bottom: 0.5em; text-align: center }
	69
	70	/* Inside that div, the main menu bar and every submenu inside it is a <ul> */
	71	#gamemenu ul {
	72	list-style: none; /* get rid of the normal unordered-list bullets */
	73	display: inline; /* make top-level menu bar items appear side by side */
	74	position: relative; /* allow submenus to position themselves near parent */
	75	margin: 0;
	76	margin-bottom: 0.5em;
	77	padding: 0;
	78	}
	79
	80	/* Individual menu items are <li> elements within such a <ul> */
	81	#gamemenu ul li {
	82	/* Add a little mild text formatting */
	83	font-weight: bold; font-size: 0.8em;
	84	/* Line height and padding appropriate to top-level menu items */
	85	padding-left: 0.75em; padding-right: 0.75em;
	86	padding-top: 0.2em; padding-bottom: 0.2em;
	87	margin: 0;
	88	/* Make top-level menu items appear side by side, not vertically stacked */
	89	display: inline;
	90	/* Suppress the text-selection I-beam pointer */
	91	cursor: default;
	92	/* Surround each menu item with a border. The left border is removed
	93	* because it will abut the right border of the previous item. (A rule
	94	* below will reinstate the left border for the leftmost menu item.) */
	95	border-left: 0;
	96	border-right: 1px solid rgba(0,0,0,0.3);
	97	border-top: 1px solid rgba(0,0,0,0.3);
	98	border-bottom: 1px solid rgba(0,0,0,0.3);
	99	}
	100
	101	#gamemenu ul li.disabled {
	102	/* Grey out menu items with the "disabled" class */
	103	color: rgba(0,0,0,0.5);
	104	}
	105
	106	#gamemenu ul li:first-of-type {
	107	/* Reinstate the left border for the leftmost top-level menu item */
	108	border-left: 1px solid rgba(0,0,0,0.3);
	109	}
	110
	111	#gamemenu ul li:hover {
	112	/* When the mouse is over a menu item, highlight it */
	113	background: rgba(0,0,0,0.3);
	114	/* Set position:relative, so that if this item has a submenu it can
	115	* position itself relative to the parent item. */
	116	position: relative;
	117	}
	118
	119	#gamemenu ul li.disabled:hover {
	120	/* Disabled menu items don't get a highlight on mouse hover */
	121	background: inherit;
	122	}
	123
	124	#gamemenu ul ul {
	125	/* Second-level menus and below are not displayed by default */
	126	display: none;
	127	/* When they are displayed, they are positioned immediately below
	128	* their parent <li>, and with the left edge aligning */
	129	position: absolute;
	130	top: 100%;
	131	left: 0;
	132	/* We must specify an explicit background colour for submenus, because
	133	* they must be opaque (don't want other page contents showing through
	134	* them). */
	135	background: white;
	136	/* And make sure they appear in front. */
	137	z-index: 1;
	138	}
	139
	140	#gamemenu ul ul.left {
	141	/* A second-level menu with class "left" aligns its right edge with
	142	* its parent, rather than its left edge */
	143	left: inherit; right: 0;
	144	}
	145
	146	/* Menu items in second-level menus and below */
	147	#gamemenu ul ul li {
	148	/* Go back to vertical stacking, for drop-down submenus */
	149	display: block;
	150	/* Inhibit wrapping, so the submenu will expand its width as needed. */
	151	white-space: nowrap;
	152	/* Override the text-align:center from above */
	153	text-align: left;
	154	/* Don't make the text any smaller than the previous level of menu */
	155	font-size: 100%;
	156	/* This time it's the top border that we omit on all but the first
	157	* element in the submenu, since now they're vertically stacked */
	158	border-left: 1px solid rgba(0,0,0,0.3);
	159	border-right: 1px solid rgba(0,0,0,0.3);
	160	border-top: 0;
	161	border-bottom: 1px solid rgba(0,0,0,0.3);
	162	}
	163
	164	#gamemenu ul ul li:first-of-type {
	165	/* Reinstate top border for first item in a submenu */
	166	border-top: 1px solid rgba(0,0,0,0.3);
	167	}
	168
	169	#gamemenu ul ul ul {
	170	/* Third-level submenus are drawn to the side of their parent menu
	171	* item, not below it */
	172	top: 0; left: 100%;
	173	}
	174
	175	#gamemenu ul ul ul.left {
	176	/* A submenu with class "left" goes to the left of its parent,
	177	* not the right */
	178	left: inherit; right: 100%;
	179	}
	180
	181	#gamemenu ul li:hover > ul {
	182	/* Last but by no means least, the all-important line that makes
	183	* submenus be displayed! Any <ul> whose parent <li> is being
	184	* hovered over gets display:block overriding the display:none
	185	* from above. */
	186	display: block;
	187	}
	188	</style>
	189	</head>
	190	<body onLoad="initPuzzle();">
	191	<h1 align=center>${puzzlename}</h1>
	192	${unfinishedheading}
	193	<h2 align=center>from Simon Tatham's Portable Puzzle Collection</h2>
	194
	195	${unfinishedpara}
	196
	197	<hr>
	198	<div id="puzzle" style="display: none">
	199	<div id="gamemenu"><ul><li id="new">New game</li
	200	><li id="restart">Restart game</li
	201	><li id="undo">Undo move</li
	202	><li id="redo">Redo move</li
	203	><li id="solve">Solve game</li
	204	><li id="specific">Enter game ID</li
	205	><li id="random">Enter random seed</li
	206	><li>Select game type<ul id="gametype" class="left"></ul></li
	207	></ul></div>
	208	<div align=center>
	209	<div id="resizable" style="position:relative; left:0; top:0">
	210	<canvas style="display: block" id="puzzlecanvas" width="1px" height="1px" tabindex="1">
	211	</canvas>
	212	<div id="statusbarholder" style="display: block">
	213	</div>
	214	</div>
	215	<p>
	216	Link to this puzzle:
	217	<a id="permalink-desc">by game ID</a>
	218	<a id="permalink-seed">by random seed</a>
	219	</p>
	220	</div>
	221	</div>
	222	<div id="apology">
	223	Sorry, this Javascript puzzle doesn't seem to work in your web
	224	browser. Perhaps you have Javascript disabled, or perhaps your browser
	225	doesn't provide a feature that the puzzle code requires (such as
	226	<a href="https://developer.mozilla.org/en-US/docs/JavaScript/Typed_arrays">typed arrays</a>).
	227	These puzzles have been successfully run in Firefox 19, Chrome 26,
	228	Internet Explorer 10 and Safari 6.
	229	</div>
	230	<hr>
	231
	232	${instructions}
	233
	234	${links}
	235
	236	${footer}
	237	</body>
	238	</html>
	239	EOF
	240
	241	close $outpage;
	242	}