chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd98870) | patch
Another UI feature for Group: now you can click between two legend
authorSimon Tatham <anakin@pobox.com>
Tue, 8 Feb 2011 22:13:18 +0000 (22:13 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 8 Feb 2011 22:13:18 +0000 (22:13 +0000)
commitb2e4437d5ba18bd98b5cb5d22c823457c71792c9
tree680c3a3afe367d381d7b1dcaf3940475f1d13a57tree | snapshot
parentfd98870bfff67c050fe4646b9bd03b4fdea698f9commit | diff
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.)

[originally from svn r9084]
unfinished/group.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.