chiark / gitweb /
otter.git
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 01:15:13 +0000 (01:15 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 01:14:04 +0000 (01:14 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 01:05:25 +0000 (01:05 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 01:02:53 +0000 (01:02 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:59:09 +0000 (00:59 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:58:36 +0000 (00:58 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:56:50 +0000 (00:56 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:56:43 +0000 (00:56 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:50:02 +0000 (00:50 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:42:42 +0000 (00:42 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:41:56 +0000 (00:41 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:40:58 +0000 (00:40 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:34:12 +0000 (00:34 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:29:34 +0000 (00:29 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:25:21 +0000 (00:25 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:21:21 +0000 (00:21 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:20:46 +0000 (00:20 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:19:58 +0000 (00:19 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting
Ian Jackson [Sun, 6 Dec 2020 00:17:28 +0000 (00:17 +0000)]
formatting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:16:32 +0000 (00:16 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, some from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:15:04 +0000 (00:15 +0000)]
formatting, some from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting
Ian Jackson [Sun, 6 Dec 2020 00:08:54 +0000 (00:08 +0000)]
formatting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting
Ian Jackson [Sun, 6 Dec 2020 00:05:47 +0000 (00:05 +0000)]
formatting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, mostly from rustfmt (manually picked)
Ian Jackson [Sun, 6 Dec 2020 00:04:50 +0000 (00:04 +0000)]
formatting, mostly from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, mostly from rustfmt (manually picked)
Ian Jackson [Sat, 5 Dec 2020 23:58:09 +0000 (23:58 +0000)]
formatting, mostly from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, mostly from rustfmt (manually picked)
Ian Jackson [Sat, 5 Dec 2020 23:50:09 +0000 (23:50 +0000)]
formatting, mostly from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, mostly from rustfmt (manually picked)
Ian Jackson [Sat, 5 Dec 2020 23:43:20 +0000 (23:43 +0000)]
formatting, mostly from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoformatting, mostly from rustfmt (manually picked)
Ian Jackson [Sat, 5 Dec 2020 23:28:00 +0000 (23:28 +0000)]
formatting, mostly from rustfmt (manually picked)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoedit rustfmt file
Ian Jackson [Sat, 5 Dec 2020 23:21:42 +0000 (23:21 +0000)]
edit rustfmt file

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoinitial rustfmt file
Ian Jackson [Sat, 5 Dec 2020 23:17:33 +0000 (23:17 +0000)]
initial rustfmt file

This still does not produce nice results.  I may hunt through the
edits to see anything I want to keep.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodo not encode - in account names
Ian Jackson [Sat, 5 Dec 2020 17:16:08 +0000 (17:16 +0000)]
do not encode - in account names

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoset return-path
Ian Jackson [Sat, 5 Dec 2020 17:05:58 +0000 (17:05 +0000)]
set return-path

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoemail tokens, fixes
Ian Jackson [Sat, 5 Dec 2020 17:02:43 +0000 (17:02 +0000)]
email tokens, fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoemail tokens, fixes
Ian Jackson [Sat, 5 Dec 2020 16:56:46 +0000 (16:56 +0000)]
email tokens, fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoemail tokens, fixes
Ian Jackson [Sat, 5 Dec 2020 16:42:02 +0000 (16:42 +0000)]
email tokens, fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix typo
Ian Jackson [Sat, 5 Dec 2020 15:45:02 +0000 (15:45 +0000)]
fix typo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoabolish now-unused error nfc
Ian Jackson [Sat, 5 Dec 2020 15:38:17 +0000 (15:38 +0000)]
abolish now-unused error nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoalways make tokens
Ian Jackson [Sat, 5 Dec 2020 15:35:40 +0000 (15:35 +0000)]
always make tokens

If we are asked to "redeliver" a token but there isn't one, make one
up.  So now conceptually you have tokens for all your games even if
you don't know what they are yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip always make tokens: refactor nfc
Ian Jackson [Sat, 5 Dec 2020 15:35:11 +0000 (15:35 +0000)]
wip always make tokens: refactor nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip always make tokens: minor refactor nfc
Ian Jackson [Sat, 5 Dec 2020 15:33:19 +0000 (15:33 +0000)]
wip always make tokens: minor refactor nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 14:56:21 +0000 (14:56 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 14:54:12 +0000 (14:54 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 14:16:44 +0000 (14:16 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoget_or_try_insert_with, but actually we're not going to use it
Ian Jackson [Sat, 5 Dec 2020 11:12:26 +0000 (11:12 +0000)]
get_or_try_insert_with, but actually we're not going to use it

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotempfile dependency
Ian Jackson [Sat, 5 Dec 2020 10:58:35 +0000 (10:58 +0000)]
tempfile dependency

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 10:57:59 +0000 (10:57 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip email templates etc.
Ian Jackson [Sat, 5 Dec 2020 00:03:26 +0000 (00:03 +0000)]
wip email templates etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofancier clean target
Ian Jackson [Mon, 30 Nov 2020 19:13:08 +0000 (19:13 +0000)]
fancier clean target

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "Provide /_/README.md too"
Ian Jackson [Mon, 30 Nov 2020 19:08:02 +0000 (19:08 +0000)]
Revert "Provide /_/README.md too"

Actually this was a bug in bundling

This reverts commit f2a6cbc9ac0172be38ba0e6573278400c0b09d93.

4 years agofix source bundling
Ian Jackson [Mon, 30 Nov 2020 19:07:09 +0000 (19:07 +0000)]
fix source bundling

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomkdir -p for bundled-sources
Ian Jackson [Mon, 30 Nov 2020 18:41:13 +0000 (18:41 +0000)]
mkdir -p for bundled-sources

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoProvide /_/README.md too
Ian Jackson [Mon, 30 Nov 2020 18:37:42 +0000 (18:37 +0000)]
Provide /_/README.md too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "break out otter-daemon into own crate"
Ian Jackson [Mon, 30 Nov 2020 18:37:09 +0000 (18:37 +0000)]
Revert "break out otter-daemon into own crate"

We reverted most of this, now do the rest too.

This reverts commit 1d4f8f10aaeb9f613688285cd8600646b19d2faf.

4 years agomake things clean
Ian Jackson [Mon, 30 Nov 2020 18:34:04 +0000 (18:34 +0000)]
make things clean

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowork around firefox GetScreenCTM bug
Ian Jackson [Mon, 30 Nov 2020 11:28:15 +0000 (11:28 +0000)]
work around firefox GetScreenCTM bug

Well this is a bodge!

  https://bugzilla.mozilla.org/show_bug.cgi?id=1610093
  https://bugzilla.mozilla.org/show_bug.cgi?id=972041
  https://bugzilla.mozilla.org/show_bug.cgi?id=1446011

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix span
Ian Jackson [Mon, 30 Nov 2020 00:05:39 +0000 (00:05 +0000)]
fix span

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agozoom button
Ian Jackson [Mon, 30 Nov 2020 00:03:08 +0000 (00:03 +0000)]
zoom button

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip zoom
Ian Jackson [Sun, 29 Nov 2020 23:33:50 +0000 (23:33 +0000)]
wip zoom

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agochange formatting a bit
Ian Jackson [Sun, 29 Nov 2020 22:45:32 +0000 (22:45 +0000)]
change formatting a bit

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agopenultima: adjust colours
Ian Jackson [Sun, 29 Nov 2020 21:18:48 +0000 (21:18 +0000)]
penultima: adjust colours

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoallow setting of the table colour
Ian Jackson [Sun, 29 Nov 2020 21:18:37 +0000 (21:18 +0000)]
allow setting of the table colour

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agouse active voice, saying who set table size
Ian Jackson [Sun, 29 Nov 2020 21:03:22 +0000 (21:03 +0000)]
use active voice, saying who set table size

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake it obvious when new fields are added
Ian Jackson [Sun, 29 Nov 2020 20:59:04 +0000 (20:59 +0000)]
make it obvious when new fields are added

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobetter handling for leave game
Ian Jackson [Sun, 29 Nov 2020 20:00:24 +0000 (20:00 +0000)]
better handling for leave game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agohandle RemovePlayer for others
Ian Jackson [Sun, 29 Nov 2020 19:56:54 +0000 (19:56 +0000)]
handle RemovePlayer for others

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agohandle AddPlayer
Ian Jackson [Sat, 28 Nov 2020 11:52:54 +0000 (11:52 +0000)]
handle AddPlayer

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosend updates for player add/remove
Ian Jackson [Sat, 28 Nov 2020 11:49:26 +0000 (11:49 +0000)]
send updates for player add/remove

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort imports
Ian Jackson [Sat, 28 Nov 2020 11:08:35 +0000 (11:08 +0000)]
sort imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoimprove the README slightly
Ian Jackson [Sat, 28 Nov 2020 00:49:49 +0000 (00:49 +0000)]
improve the README slightly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoimprove the README following dependency rationalisation
Ian Jackson [Sat, 28 Nov 2020 00:44:30 +0000 (00:44 +0000)]
improve the README following dependency rationalisation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "wip split off daemon/, before revert"
Ian Jackson [Sat, 28 Nov 2020 00:39:34 +0000 (00:39 +0000)]
Revert "wip split off daemon/, before revert"

This isn't actually so easy.  In particular PieceSpec will cause a lot
of trouble.  Also lots of dupes from filename completion.

So undo it all.

This reverts commit 7b6c42eb3e71ee3094009bf7c494ad4d68c88a23.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip split off daemon/, before revert
Ian Jackson [Sat, 28 Nov 2020 00:39:24 +0000 (00:39 +0000)]
wip split off daemon/, before revert

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodedupe dependencies
Ian Jackson [Sat, 28 Nov 2020 00:17:18 +0000 (00:17 +0000)]
dedupe dependencies

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobreak out otter-daemon into own crate
Ian Jackson [Sat, 28 Nov 2020 00:14:32 +0000 (00:14 +0000)]
break out otter-daemon into own crate

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotidy up Cargo.lock
Ian Jackson [Sat, 28 Nov 2020 00:06:35 +0000 (00:06 +0000)]
tidy up Cargo.lock

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoimports: fix style
Ian Jackson [Sat, 28 Nov 2020 00:02:29 +0000 (00:02 +0000)]
imports: fix style

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused type alias (and fix one mistaken reference to it)
Ian Jackson [Sat, 28 Nov 2020 00:00:34 +0000 (00:00 +0000)]
drop unused type alias (and fix one mistaken reference to it)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoreformat imports
Ian Jackson [Fri, 27 Nov 2020 23:59:45 +0000 (23:59 +0000)]
reformat imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort imports
Ian Jackson [Fri, 27 Nov 2020 23:57:53 +0000 (23:57 +0000)]
sort imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused imports
Ian Jackson [Fri, 27 Nov 2020 23:57:08 +0000 (23:57 +0000)]
drop unused imports

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused dependency on abandoned rental crate
Ian Jackson [Fri, 27 Nov 2020 23:54:39 +0000 (23:54 +0000)]
drop unused dependency on abandoned rental crate

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: Drop some spurious whitespace
Ian Jackson [Fri, 27 Nov 2020 23:53:36 +0000 (23:53 +0000)]
shapelib: Drop some spurious whitespace

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: Use parking_lot, not rental
Ian Jackson [Fri, 27 Nov 2020 23:53:18 +0000 (23:53 +0000)]
shapelib: Use parking_lot, not rental

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort dependencies
Ian Jackson [Fri, 27 Nov 2020 23:29:46 +0000 (23:29 +0000)]
sort dependencies

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop unused hashlink dependency
Ian Jackson [Fri, 27 Nov 2020 23:28:51 +0000 (23:28 +0000)]
drop unused hashlink dependency

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupstream flexi_logger
Ian Jackson [Fri, 27 Nov 2020 23:25:49 +0000 (23:25 +0000)]
upstream flexi_logger

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolook at Cargo.lock.example for Makefile too
Ian Jackson [Fri, 27 Nov 2020 23:16:17 +0000 (23:16 +0000)]
look at Cargo.lock.example for Makefile too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agogeneral cargo update
Ian Jackson [Fri, 27 Nov 2020 23:16:10 +0000 (23:16 +0000)]
general cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupstream rocket!
Ian Jackson [Fri, 27 Nov 2020 23:13:31 +0000 (23:13 +0000)]
upstream rocket!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupstream rocket!
Ian Jackson [Fri, 27 Nov 2020 23:11:48 +0000 (23:11 +0000)]
upstream rocket!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoget rid of the blueification div which doesn't work
Ian Jackson [Fri, 27 Nov 2020 22:34:30 +0000 (22:34 +0000)]
get rid of the blueification div which doesn't work

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorecord what is deployed (fix)
Ian Jackson [Fri, 27 Nov 2020 22:24:53 +0000 (22:24 +0000)]
record what is deployed (fix)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix switch to portrait
Ian Jackson [Fri, 27 Nov 2020 22:22:40 +0000 (22:22 +0000)]
fix switch to portrait

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorecord what is deployed
Ian Jackson [Fri, 27 Nov 2020 22:22:29 +0000 (22:22 +0000)]
record what is deployed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake switch to portrait view workc
Ian Jackson [Fri, 27 Nov 2020 22:20:05 +0000 (22:20 +0000)]
make switch to portrait view workc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotable_colour in game state
Ian Jackson [Fri, 27 Nov 2020 20:56:13 +0000 (20:56 +0000)]
table_colour in game state

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoquieten highlighting for only grasp/ungrasp
Ian Jackson [Fri, 27 Nov 2020 20:51:17 +0000 (20:51 +0000)]
quieten highlighting for only grasp/ungrasp

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agohighlight more changes
Ian Jackson [Fri, 27 Nov 2020 20:48:00 +0000 (20:48 +0000)]
highlight more changes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix title
Ian Jackson [Fri, 27 Nov 2020 20:40:04 +0000 (20:40 +0000)]
fix title

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofixes done
Ian Jackson [Fri, 27 Nov 2020 20:37:06 +0000 (20:37 +0000)]
fixes done

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>