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

Prover output font cannot be changed #5

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 12 years ago

The font used in Isabelle prover output view is hardcoded - update to inherit the font sizes from the preferences (as is done in the editor).

andriusvelykis commented 11 years ago

Fixed in 272bf3f691b59051bfc15d9a53979ea034511652

With Isabelle2013 support, Prover Output view was overhauled and uses the same SourceViewer as the editor. This allowed to inherit font configuration options from the editor and now font change affects Prover Output as well.