]> gitweb.factorcode.org Git - factor.git/commit
working on jEdit plugin
authorSlava Pestov <slava@factorcode.org>
Thu, 17 Feb 2005 02:54:36 +0000 (02:54 +0000)
committerSlava Pestov <slava@factorcode.org>
Thu, 17 Feb 2005 02:54:36 +0000 (02:54 +0000)
commite92757e93ceffe213ef5395206da46723917e125
tree5ac554950545c3d9a8fa9403478c0ab7f6c7a76c
parentc1ca6b761e51c7502220cf91f11eed617b42a04d
working on jEdit plugin
14 files changed:
TODO.FACTOR.txt
factor/DefaultVocabularyLookup.java
factor/ExternalFactor.java
factor/VocabularyLookup.java
factor/jedit/AbstractCompletion.java [new file with mode: 0644]
factor/jedit/EditWordDialog.java
factor/jedit/FactorCompletion.java [deleted file]
factor/jedit/FactorPlugin.java
factor/jedit/FactorPlugin.props
factor/jedit/FactorSideKickParser.java
factor/jedit/FactorVocabCompletion.java [new file with mode: 0644]
factor/jedit/FactorWordCompletion.java [new file with mode: 0644]
factor/jedit/WordPreview.java
library/ui/labels.factor