Mercurial > gui

log togglePanel.urs

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Tue, 20 Dec 2011 21:04:21 -0500 Adam Chlipala Adapt to new HTML contexts
Sat, 24 Sep 2011 17:35:33 -0400 Adam Chlipala Tweak TogglePanel signature
Sat, 24 Sep 2011 15:47:00 -0400 Adam Chlipala Add a new parameter to Gui.gui
Fri, 23 Sep 2011 13:30:01 +0200 Ron de Bruijn Partial generalize togglePanel solution (breaks build)
Thu, 22 Sep 2011 19:24:01 +0200 Ron de Bruijn Introduction of multi-parameter type class for gui components
Fri, 17 Jun 2011 10:12:05 -0430 Karn Kallio Add a widget that opens and closes a panel.
less more | (0) tip