]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.labeled: make <labeled-gadget> not take a color.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 11 Feb 2018 17:52:00 +0000 (09:52 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 11 Feb 2018 17:53:48 +0000 (09:53 -0800)
commit9c22098deccda656eff3a4e105a0265fdf0817dd
tree20f0c37b97b53dcd0a7e2b4f6f7b3446469e83d2
parent2a45023e2f0af2b130074f48f8621b18f85104c9
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.
basis/ui/gadgets/labeled/labeled-docs.factor
basis/ui/gadgets/labeled/labeled-tests.factor
basis/ui/gadgets/labeled/labeled.factor
basis/ui/tools/error-list/error-list.factor
basis/ui/tools/inspector/inspector.factor
basis/ui/tools/traceback/traceback.factor
extra/gml/ui/ui.factor
extra/merger/merger.factor