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

editors: fix editing of links. Fixes #411.

db4
John Benediktsson 2011-11-16 09:18:54 -08:00
parent 1d4660c7ec
commit 40898bf4d0
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/editors/editors.factor
View File

@ -60,8 +60,6 @@ GENERIC: edit ( object -- )
M: object edit M: object edit
dup where [ first2 edit-location ] [ cannot-find-source ] ?if ; dup where [ first2 edit-location ] [ cannot-find-source ] ?if ;
M: link edit name>> edit ;
M: string edit edit-vocab ; M: string edit edit-vocab ;
: edit-error ( error -- ) : edit-error ( error -- )