diff options
Diffstat (limited to 'src/interp/br-saturn.boot')
| -rw-r--r-- | src/interp/br-saturn.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-saturn.boot b/src/interp/br-saturn.boot index e439d1ca..3880cebc 100644 --- a/src/interp/br-saturn.boot +++ b/src/interp/br-saturn.boot @@ -1401,7 +1401,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate, htSaySourceFile conname == sourceFileName := (getConstructorSourceFileFromDB conname or '"none") filename := extractFileNameFromPath sourceFileName - htMakePage [['text,'"\unixcommand{",filename,'"}{_\$AXIOM/lib/SPADEDIT ", + htMakePage [['text,'"\unixcommand{",filename,'"}{", textEditor(), '" ", sourceFileName, '" ", conname, '"}"]] htSayIndentRel(n,:options) == |