]> gitweb.factorcode.org Git - factor.git/commit
minor UI fixes, updating html streams to not use obsolete style keys
authorSlava Pestov <slava@factorcode.org>
Tue, 12 Jul 2005 02:47:38 +0000 (02:47 +0000)
committerSlava Pestov <slava@factorcode.org>
Tue, 12 Jul 2005 02:47:38 +0000 (02:47 +0000)
commit520eaa65efc85ee766c534edc77b1f626e913da3
tree821cc4bb6322d01d77bc7345272e38a8effa8dac
parentd4e3075eeb5d651a884f446f8daf61f94e01a3c2
minor UI fixes, updating html streams to not use obsolete style keys
13 files changed:
library/bootstrap/boot-stage1.factor
library/httpd/html.factor
library/io/directories.factor
library/io/stdio.factor
library/styles.factor
library/syntax/prettyprint.factor
library/ui/buttons.factor
library/ui/gadgets.factor
library/ui/hand.factor
library/ui/init-world.factor
library/ui/paint.factor
library/ui/ui.factor
library/ui/world.factor