]> gitweb.factorcode.org Git - factor.git/commit
ui: update more icons, including ui.tools.error-list.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 19 May 2020 16:46:43 +0000 (09:46 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 19 May 2020 16:46:43 +0000 (09:46 -0700)
commitfd4ddf588f36cfe651ed113742e889a2bb2e1b59
treec3f5f34cc4ba13954fdc58be031f3fcf7c133f55
parent1a3d061954bca1ba48a0cd3604549720adfa5628
ui: update more icons, including ui.tools.error-list.
basis/definitions/icons/help-article.png
basis/definitions/icons/word-help-article.png
basis/ui/tools/error-list/icons/compiler-error.tiff
basis/ui/tools/error-list/icons/deprecation-note.tiff
basis/ui/tools/error-list/icons/help-lint-error.tiff
basis/ui/tools/error-list/icons/linkage-error.tiff
basis/ui/tools/error-list/icons/note.tiff
basis/ui/tools/error-list/icons/source-file.tiff
basis/ui/tools/error-list/icons/syntax-error.tiff
basis/ui/tools/error-list/icons/unit-test-error.tiff
basis/ui/tools/error-list/icons/user-init-error.tiff