]> gitweb.factorcode.org Git - factor.git/commit
Fixes apropos header colour bug, Changes help path border
authorinivekin <inivekin@gmail.com>
Fri, 12 Mar 2021 11:01:29 +0000 (19:01 +0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 12 Mar 2021 15:36:04 +0000 (07:36 -0800)
commitfe2e10bda51b4b80d215d3eb39f176476a48e9c8
tree045f4f2e8d3c343d15172d8b003aed902bd75326
parentea21494eab047eff022d6da7fbae7c25dfb14c24
Fixes apropos header colour bug, Changes help path border
basis/ui/theme/base16/base16.factor
basis/ui/theme/switching/switching.factor