]> gitweb.factorcode.org Git - factor.git/commit
improved factor plugin
authorSlava Pestov <slava@factorcode.org>
Mon, 20 Dec 2004 00:36:10 +0000 (00:36 +0000)
committerSlava Pestov <slava@factorcode.org>
Mon, 20 Dec 2004 00:36:10 +0000 (00:36 +0000)
commit8b0949dd8bb022ead45ddffe4bda10ecb3e28085
treeae140944b8953b3c28396ec405086762ee7903b4
parent12a09523d43444900ef30fb277646994b199741f
improved factor plugin
TODO.FACTOR.txt
factor/DefaultVocabularyLookup.java
factor/ExternalFactor.java
factor/VocabularyLookup.java
factor/jedit/EditWordDialog.java
factor/jedit/FactorCompletion.java
factor/jedit/FactorPlugin.java
factor/jedit/FactorPlugin.props
factor/jedit/FactorSideKickParser.java
factor/jedit/WordListDialog.java
library/tools/jedit-wire.factor