]> gitweb.factorcode.org Git - factor.git/commitdiff
icon for user-init-errors
authorJoe Groff <arcata@gmail.com>
Sun, 27 Nov 2011 20:06:48 +0000 (12:06 -0800)
committerJoe Groff <arcata@gmail.com>
Sun, 27 Nov 2011 20:06:48 +0000 (12:06 -0800)
basis/command-line/command-line.factor
basis/ui/tools/error-list/icons/user-init-error.tiff [new file with mode: 0644]

index 661c3defcdca9cf310c4a15304e39f3cdb552ac8..1ecac701ddef5308327c57dd8019c44d657df30b 100644 (file)
@@ -14,7 +14,7 @@ T{ error-type
     { type +user-init-error+ }
     { word ":user-init-errors" }
     { plural "rc file errors" }
-    { icon "vocab:ui/tools/error-list/icons/help-lint-error.tiff" }
+    { icon "vocab:ui/tools/error-list/icons/user-init-error.tiff" }
     { quot [ user-init-errors get-global values ] }
     { forget-quot [ user-init-errors get-global delete-at ] }
 } define-error-type
diff --git a/basis/ui/tools/error-list/icons/user-init-error.tiff b/basis/ui/tools/error-list/icons/user-init-error.tiff
new file mode 100644 (file)
index 0000000..b5abe0d
Binary files /dev/null and b/basis/ui/tools/error-list/icons/user-init-error.tiff differ