9c22098dec
ui.gadgets.labeled: make <labeled-gadget> not take a color.
...
This allows backwards compatibility with 0.97 API. Adding
<colored-labeled-gadget> for a version with a colored divider
and implementing it with a gap between title bar and content
intead of a shelf border gadget.
2018-02-11 09:53:48 -08:00
d1f5282c6d
ui.gadgets.labeled: cleanup labeled-gadget words.
2017-10-25 15:00:22 -07:00
498285d7dd
unicode: make this the API for all unicode things.
2016-03-30 23:29:48 -07:00
a82ae0027d
maintain gml, euler, flatland, pong, multi-methods, pair-rockets, variables.
2016-03-30 10:30:36 -07:00
81f9e0405c
gml: move to unmaintained for now.
2015-07-21 17:33:53 -07:00
352e5de16a
core, basis, extra: Remove DOS line endings from files.
...
Remove whitespace from end of lines.
Add a newline to the end of each file.
2015-06-29 17:25:40 -07:00
e270175af0
gml, euler: Initial commit.
2013-06-18 16:42:13 -07:00
John Benediktsson
Doug Coleman