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

Content assist does not use Isabelle font #61

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

The content assist does not use Isabelle font to preview Isabelle symbols. Some of the symbols are therefore not rendered correctly on Windows (boxes instead - see screenshot for Longrightarrow).

Also, because of this the rendering of other symbols is too small. It should use the same font size as in editor and Symbols view.

content-assist-symbols-win

andriusvelykis commented 11 years ago

Fixed in 30fccb1de92f84f33d95b918dcba4372a1b00fbe

Now using Isabelle font to render the decoded symbol.

The font maximum size is limited (e.g. if you increase Isabelle font) to avoid the proposals disappearing when table rows are too small..

content-assist-font-fix