]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd2a4c2) | patch
ui.tools.error-list: re-use the same actual gadget, so that the current selection...
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Tue, 4 May 2010 06:53:46 +0000 (02:53 -0400)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Tue, 4 May 2010 06:53:53 +0000 (02:53 -0400)
commitf46a56024cdcd21290befcadc6cd1cffd71f76af
treecd40ee8e10edb6ac8dc89c4ba3e265abb8fe7f27tree | snapshot
parentdd2a4c2c7783cb08605c117436f5ec5b6236eb18commit | diff
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
basis/ui/tools/error-list/error-list.factor diff | blob | history
Factor programming language