Package ket.treeDiff

Examples of ket.treeDiff.Painter


      Address oldCursor = mathCollection.getUndo().getAddress();
      Ket.out.println("old cursor = " + oldCursor);
      Argument before = mathCollection.getUndo().getLastRoot();
      Argument after = mathCollection.getCursor().getCurrent();
      if (before!=null) {
        Painter painter = new Painter(before, after, imageName, imageNumber);
        imageNumber += Painter.FRAME_NUMBER;
        painter.start();
      }
    } else {
      // Save a single frame.
      Equation currentEquation = mathCollection.getCursor().getEquation();
      saveAsImage(currentEquation);
View Full Code Here

TOP

Related Classes of ket.treeDiff.Painter

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.