GNOME Bugzilla – Bug 705046
"Show history" toggle hides timer settings
Last modified: 2013-08-18 19:25:53 UTC
The "show history" toggle also incorrectly hides the timers. (That's probably bad for timed games.)
The following fix has been pushed: bc62e3d Remove show history option
Created attachment 252152 [details] [review] Remove show history option There's really no benefit to being able to hide the history bar. You currently gain a bit of space, but that's because this option breaks timed games by hiding the timers. This option might make sense after a bit of a UI redesign, but I don't see that happening anytime soon.