Another UI feature for Group: now you can click between two legend
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 8 Feb 2011 22:13:18 +0000 (22:13 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 8 Feb 2011 22:13:18 +0000 (22:13 +0000)
commita346afcd456e6e1a66d7649447c73ff041980e7f
tree680c3a3afe367d381d7b1dcaf3940475f1d13a57
parenta5da3a76158b9dbdc6d63b8c5aca8b835da90d24
Another UI feature for Group: now you can click between two legend
elements to toggle thick lines in the grid. Helps to delineate
subgroups and cosets, so it's easier to remember what you can
legitimately fill in by associativity.

(I should really stop fiddling with this game's UI; it's far too silly.)

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@9084 cda61777-01e9-0310-a592-d414129be87e
unfinished/group.c