]> gitweb.factorcode.org Git - factor.git/commit
Revert "ui.gadgets.labeled: separate title-bar-interior with a comment why."
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 15:04:58 +0000 (08:04 -0700)
committerAlexander Iljin <ajsoft@yandex.ru>
Sat, 8 Jun 2019 16:47:41 +0000 (18:47 +0200)
commita3b439047f8ea1fe2abf8b26ca912b8b1a7f71e3
treeb0a5aadc5deb8ee77edbc1cc6ab51db4b160a05a
parent7ad6784911fe0b22fd273437263dff53fcc37d6e
Revert "ui.gadgets.labeled: separate title-bar-interior with a comment why."

This reverts commit cb575c1ba86d07e6dd40788c9081fba01501f8ce.
basis/ui/gadgets/labeled/labeled.factor