Slava Pestov b8ec70b895 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	link tools.deprecation docs into handbook and error-list docs	2009-08-20 16:18:47 -05:00
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