Commit 9aba5490 authored by Sarah Grebing's avatar Sarah Grebing

switched off unicode

parent 2f7ffb3e
Pipeline #18820 failed with stages
in 2 minutes and 24 seconds
...@@ -139,14 +139,14 @@ public class SequentView extends CodeArea { ...@@ -139,14 +139,14 @@ public class SequentView extends CodeArea {
ProgramPrinter prgPrinter = new ProgramPrinter(new StringWriter()); ProgramPrinter prgPrinter = new ProgramPrinter(new StringWriter());
this.backend = new LogicPrinter.PosTableStringBackend(80); this.backend = new LogicPrinter.PosTableStringBackend(80);
//unicode makes prettier syntax but is bad for matching
ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().setUseUnicode(true); ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().setUseUnicode(false);
ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().setUsePretty(true); ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().setUsePretty(true);
NotationInfo.DEFAULT_UNICODE_ENABLED = true; NotationInfo.DEFAULT_UNICODE_ENABLED = false;
NotationInfo.DEFAULT_PRETTY_SYNTAX = true; NotationInfo.DEFAULT_PRETTY_SYNTAX = true;
NotationInfo notation = new NotationInfo(); NotationInfo notation = new NotationInfo();
notation.refresh(services, true, true); notation.refresh(services, true, false);
lp = new LogicPrinter(prgPrinter, notation, backend, services, false); lp = new LogicPrinter(prgPrinter, notation, backend, services, false);
lp.printSequent(sequent); lp.printSequent(sequent);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment