Slava Pestov f46a56024c ui.tools.error-list: re-use the same actual gadget, so that the current selection and set of displayed error types is preserved if the user closes and re-opens the error list		2010-05-04 02:53:53 -04:00
..
icons	…
authors.txt	…
error-list-docs.factor	…
error-list.factor	ui.tools.error-list: re-use the same actual gadget, so that the current selection and set of displayed error types is preserved if the user closes and re-opens the error list	2010-05-04 02:53:53 -04:00