]> gitweb.factorcode.org Git - factor.git/commitdiff
remove pair of unused style symbols
authorSlava Pestov <slava@factorcode.org>
Sun, 17 Jul 2005 07:47:25 +0000 (07:47 +0000)
committerSlava Pestov <slava@factorcode.org>
Sun, 17 Jul 2005 07:47:25 +0000 (07:47 +0000)
library/styles.factor

index 0707aa0ab148e2177958073ff2d6e813adbe47eb..0f95ba97b0bebb5f4772828998a3abdfd38302e6 100644 (file)
@@ -10,9 +10,6 @@ IN: styles
 : green [ 0   255 0   ] ;
 : blue  [ 0   0   255 ] ;
 
-SYMBOL: filled
-SYMBOL: etched
-
 SYMBOL: foreground ! Used for text and outline shapes.
 SYMBOL: background ! Used for filled shapes.
 SYMBOL: rollover-bg