]> gitweb.factorcode.org Git - factor.git/commit
fix for jEdit 4.3pre3
authorSlava Pestov <slava@factorcode.org>
Mon, 4 Jul 2005 21:35:22 +0000 (21:35 +0000)
committerSlava Pestov <slava@factorcode.org>
Mon, 4 Jul 2005 21:35:22 +0000 (21:35 +0000)
commit06e0804b5b46863d941741216c9c1198ad844e79
treea04c4bdf142d6603cb789df83611ee311a8938f7
parent930ac75dbd9d90f3b2d0f2d4704a26c6dda6313e
fix for jEdit 4.3pre3
build.xml
factor/jedit/FactorPlugin.java
factor/jedit/FactorSideKickParser.java
factor/jedit/WordPreview.java
library/ui/layouts.factor
library/ui/text.factor