steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

editors: fix bug i introduced. need a rename tool asap...

db4
Doug Coleman 2015-06-08 18:07:42 -07:00
parent cddcd1e754
commit 259d5f8744
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
basis/editors/editors.factor
View File

@ -1,18 +1,16 @@
! Copyright (C) 2005, 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors assocs continuations debugger definitions
help.topics io io.backend io.files io.launcher io.pathnames
kernel lexer math namespaces parser prettyprint sequences
source-files source-files.errors splitting strings summary
USING: accessors assocs calendar continuations debugger
definitions io io.launcher io.pathnames kernel namespaces
prettyprint sequences source-files.errors strings threads
tools.crossref vocabs vocabs.files vocabs.hierarchy
vocabs.loader vocabs.metadata calendar threads words ;
FROM: vocabs => vocab-name >vocab-link ;
vocabs.loader vocabs.metadata words ;
IN: editors
SYMBOL: editor-class
: available-editors ( -- seq )
"editors" loaded-child-vocab-names ;
"editors" disk-child-vocab-names ;
: editor-restarts ( -- alist )
available-editors