fix prettyprinter bug
parent
0319645ff6
commit
7f92f0df6a
|
@ -1,7 +1,5 @@
|
|||
72/73:
|
||||
|
||||
- keep a list of getter/setter words
|
||||
- default constructor
|
||||
- move tuple to generic vocab
|
||||
- update plugin docs
|
||||
- extract word keeps indent
|
||||
|
|
|
@ -203,7 +203,11 @@ public class FactorShell extends Shell
|
|||
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(),
|
||||
|
|
|
@ -134,6 +134,9 @@ public class WordPreview implements ActionListener, CaretListener
|
|||
if(SideKickPlugin.isParsingBuffer(view.getBuffer()))
|
||||
return;
|
||||
|
||||
if(!view.getBuffer().isLoaded())
|
||||
return;
|
||||
|
||||
FactorParsedData data = FactorPlugin.getParsedData(view);
|
||||
if(data != null)
|
||||
{
|
||||
|
|
|
@ -108,8 +108,12 @@ M: word prettyprint* ( indent word -- indent )
|
|||
|
||||
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.
|
||||
|
|
Loading…
Reference in New Issue