]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ceb6f1) | patch
ui.theme: remove vocab-background-color and vocab-border-color
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 26 Jul 2022 19:26:19 +0000 (12:26 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 26 Jul 2022 19:26:19 +0000 (12:26 -0700)
commitaf6c0c666fb377b0b3a724bf2a68bcfcc8c83bc4
tree59cbe7a2212f0a9c0ea2358320c0835daaa36608tree | snapshot
parent3ceb6f10519491dbfc1d44177010b1bc18afc159commit | diff
ui.theme: remove vocab-background-color and vocab-border-color

use code-background-color and code-border-color
basis/ui/theme/base16/base16.factor diff | blob | history
basis/ui/theme/switching/tools/tools.factor diff | blob | history
basis/ui/theme/theme.factor diff | blob | history
basis/vocabs/prettyprint/prettyprint.factor diff | blob | history
Factor programming language