tools.deprecation: make deprecation warnings not fatal (so they don't clutter the UI forever).
parent
8980f9d6f0
commit
0554e8c3fa
|
@ -27,6 +27,7 @@ T{ error-type-holder
|
||||||
{ icon "vocab:ui/tools/error-list/icons/deprecation-note.tiff" }
|
{ icon "vocab:ui/tools/error-list/icons/deprecation-note.tiff" }
|
||||||
{ quot [ deprecation-notes get values ] }
|
{ quot [ deprecation-notes get values ] }
|
||||||
{ forget-quot [ deprecation-notes get delete-at ] }
|
{ forget-quot [ deprecation-notes get delete-at ] }
|
||||||
|
{ fatal? f }
|
||||||
} define-error-type
|
} define-error-type
|
||||||
|
|
||||||
: <deprecation-note-error> ( error word -- deprecation-note )
|
: <deprecation-note-error> ( error word -- deprecation-note )
|
||||||
|
|
Loading…
Reference in New Issue