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

Fix contrib/jedit/

slava 2006-11-27 04:15:37 +00:00
parent 5c21b39dc0
commit 47831f0f1a
2 changed files with 1 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
contrib/jedit/jedit.facts
View File

@ -1,7 +0,0 @@
IN: jedit
USING: help ;
HELP: jedit
{ $values { "defspec" "a definition specifier" } }
{ $description "Opens the source file and line number containing the given definition in a running jEdit instance." }
{ $errors "Throws an error if the " { $snippet "~/.jedit/server" } " file does not exist. jEdit must be running and the edit server feature must be enabled for this word to work." } ;

2
contrib/jedit/load.factor
View File

@ -1,2 +1,2 @@
PROVIDE: contrib/jedit
{ +files+ { "jedit.factor" "jedit.facts" } } ;
{ +files+ { "jedit.factor" } } ;