search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Format prover output to take full width of view #35

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

The prover output is rendered at a fixed width of 100 characters. Implement dynamic formatting of prover output to fit the whole width of the Prover Output view. When the view is resized, the output should be reformatted to fit the width.

See isabelle.eclipse.ui.views.ProverOutputPage#renderOutput().