]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.labeled: cleanup labeled-gadget words.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Oct 2017 22:00:22 +0000 (15:00 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Oct 2017 22:00:22 +0000 (15:00 -0700)
commitd1f5282c6dd74125d64b59285142c265a0ad16b6
treec556b39cac96f99a8af16ec5b611e9fdcbb4418c
parentb28bb9016745c3ee7ef075968d19ea81d17d04d7
ui.gadgets.labeled: cleanup labeled-gadget words.
basis/ui/gadgets/labeled/labeled-docs.factor
basis/ui/gadgets/labeled/labeled.factor
basis/ui/tools/browser/popups/popups.factor
basis/ui/tools/error-list/error-list.factor
basis/ui/tools/inspector/inspector.factor
basis/ui/tools/listener/completion/completion.factor
basis/ui/tools/listener/listener.factor
basis/ui/tools/traceback/traceback.factor
extra/boids/boids.factor
extra/gml/ui/ui.factor
extra/merger/merger.factor