Prooftool: Shaking Rules

[jvierling]

Sometimes the inference rules displayed by prooftool are shaking. This shaking effect becomes stronger when scrolling to the right. Below is an example of a proof that causes such a shaking effect.

import gapt.formats.tip.TipProblem
import gapt.formats.tip.TipSmtImporter
import gapt.prooftool.prooftool
import gapt.provers.viper.spind.SuperpositionInductionProver

object Example extends scala.App {

  val problem: TipProblem =
    TipSmtImporter.fixupAndLoad( "examples/induction/comm2.smt2" )

  val proof =
    SuperpositionInductionProver
      .inductiveLKProof( problem.toSequent map { ( "", _ ) } )( problem.ctx.newMutable )

  prooftool( proof )
}

[gebner]

This visual phenomenon is called "wobbling", see this bug report for more details.

[jvierling]

@gebner Thanks for the clarification. I looked at the bug report that you have linked before opening this issue, but I wasn't quite sure about whether "wobbling" refers to the same phenomenon.