Fix editors.jedit
parent
f0a900d11b
commit
2ff18ddea8
|
@ -8,7 +8,7 @@ io.encodings.utf8 ;
|
|||
IN: editors.jedit
|
||||
|
||||
: jedit-server-info ( -- port auth )
|
||||
home "/.jedit/server" append-path ascii [
|
||||
home ".jedit/server" append-path ascii [
|
||||
readln drop
|
||||
readln string>number
|
||||
readln string>number
|
||||
|
|
Loading…
Reference in New Issue