John Benediktsson
|
da8a378b38
|
ui.tools.error-list: changing icons from tiff to png.
|
2020-05-21 17:31:41 -07:00 |
|
John Benediktsson
|
27c9792108
|
ui.images: load 1x or 2x graphics.
|
2020-05-19 19:00:25 -07:00 |
|
John Benediktsson
|
fd4ddf588f
|
ui: update more icons, including ui.tools.error-list.
|
2020-05-19 09:46:43 -07:00 |
Joe Groff
|
14031d8794
|
icon for user-init-errors
|
2011-11-27 12:06:48 -08:00 |
|
Joe Groff
|
400c89daf0
|
"deprecated" declaration, "deprecation" vocab to track deprecations in the error log
|
2009-08-20 15:10:42 -05:00 |
Slava Pestov
|
5649cc7a0a
|
Compiler warnings are no more
|
2009-04-23 22:17:25 -05:00 |
|
Slava Pestov
|
a254e07fda
|
Error list: add toggles for different error types, source file icon
|
2009-04-11 14:18:23 -05:00 |
|
Slava Pestov
|
af8f98495d
|
Latest icons from Joe
|
2009-04-09 08:11:38 -05:00 |
|
Slava Pestov
|
2b384a7742
|
Re-organize some error-related code, three-pane look for compiler errors tool, add Joe's icons
|
2009-04-08 23:05:45 -05:00 |