2013-11-21 |
Adam Chlipala |
CKeditor wrapperdefault tip |
2013-11-21 |
Adam Chlipala |
Update for Ur/Web's new tag name resolution |
2012-07-29 |
Adam Chlipala |
Update for Ur/Web's new type class handling |
2012-07-21 |
Adam Chlipala |
Update for key/mouse handler change |
2012-05-12 |
Adam Chlipala |
Add margin example |
2012-05-12 |
Adam Chlipala |
Clean up dependencies and examples; add Style module |
2012-02-12 |
Adam Chlipala |
TogglePanel.isOpen |
2011-12-21 |
Adam Chlipala |
Adapt to new HTML contexts |
2011-12-09 |
Adam Chlipala |
Change more dashes to slashes, for JavaScript compatibility |
2011-12-04 |
Adam Chlipala |
Change time format to work portably in JavaScript |
2011-12-04 |
Ron de Bruijn |
Be able to obtain the name from a navItem |
2011-09-24 |
Karn Kallio |
Merge from Adam. |
2011-08-22 |
Karn Kallio |
Comment corrections based on code review. |
2011-09-24 |
Adam Chlipala |
Tweak TogglePanel signature |
2011-09-24 |
Adam Chlipala |
Add a new parameter to Gui.gui |
2011-09-23 |
Ron de Bruijn |
Partial generalize togglePanel solution (breaks build) |
2011-09-22 |
Ron de Bruijn |
Introduction of multi-parameter type class for gui components |
2011-08-21 |
Adam Chlipala |
Fix sign error in clock skew correction |
2011-08-18 |
Karn Kallio |
Add RemotePager. |
2011-08-07 |
Adam Chlipala |
Replace ChangePoller with SourceL, plus some other rearrangements |
2011-08-05 |
Karn Kallio |
Write calendarCtl in terms of a source with a listener. |
2011-07-28 |
Karn Kallio |
Repair calendarCtl : adjust monthinfo when set. |
2011-07-28 |
Karn Kallio |
Add a calendar control. |
2011-07-24 |
Adam Chlipala |
Clock corrects for skew, so that it matches server time (if an RPC round-trips fast enough) |
2011-07-22 |
Adam Chlipala |
Clock |
2011-06-21 |
Karn Kallio |
Add version of warning with a format wrapper. |
2011-06-17 |
Karn Kallio |
Add a widget that opens and closes a panel. |
2011-05-07 |
Karn Kallio |
Shifted some more generic theme navigation code to the library. |
2011-04-27 |
Karn Kallio |
Shifting some generic theme navigation menu code to the library. |
2011-02-10 |
Adam Chlipala |
Some Datebox functions related to dates |
2011-02-08 |
Adam Chlipala |
Fully-functional Datebox |
2011-02-08 |
Adam Chlipala |
Seeking through months with Datebox |
2011-02-08 |
Adam Chlipala |
Start of datebox: calendarizing current month correctly |
2011-01-06 |
Adam Chlipala |
Some help with building forms |
2010-12-14 |
Adam Chlipala |
Import code from elsewhere |