Thu, 24 Oct 2013 21:18:22 -0400 | nemo | I can't find any reason why the event filtering was halting further event handling w/ a true here. In any case removing it fixes bug #658 | changeset | files |
Mon, 26 Aug 2013 02:08:11 +0300 | Periklis Ntanasis | more chanllenge details in ice02 | changeset | files |
Thu, 24 Oct 2013 14:02:26 -0400 | nemo | revert r67e257b98422 to close out bug #660. shift-f1 is even more undiscoverable than a tooltip for this important piece of info, and wasn't printing the name for me either. | changeset | files |