72/73:\r
\r
-- keep a list of getter/setter words\r
-- default constructor\r
- move tuple to generic vocab\r
- update plugin docs\r
- extract word keeps indent\r
output.print(console.getInfoColor(),
jEdit.getProperty("factor.shell.opening"));
- stream = FactorPlugin.getExternalInstance().openStream();
+ stream = null;
+ ExternalFactor external = FactorPlugin.getExternalInstance();
+ if(external != null)
+ stream = external.openStream();
+
if(stream == null)
{
output.print(console.getInfoColor(),
if(SideKickPlugin.isParsingBuffer(view.getBuffer()))
return;
+ if(!view.getBuffer().isLoaded())
+ return;
+
FactorParsedData data = FactorPlugin.getParsedData(view);
if(data != null)
{
M: list prettyprint* ( indent list -- indent )
[
- \ [ swap \ ] prettyprint-sequence
- ] check-recursion ;
+ [
+ \ [ swap \ ] prettyprint-sequence
+ ] check-recursion
+ ] [
+ f unparse write
+ ] ifte* ;
M: cons prettyprint* ( indent cons -- indent )
#! Here we turn the cons into a list of two elements.