Load Isabelle fonts programmatically if not available

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

Load Isabelle fonts programmatically if not available #30

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Currently the Isabelle fonts need to be installed in the system to be used within Isabelle/Eclipse. Isabelle/jEdit loads these fonts programmatically for use without the need to install them into the OS.

Implement Isabelle font loading within Isabelle/Eclipse.

andriusvelykis commented 11 years ago

Implemented in 472f931638fa1ec0b841123bb131ab0b5190f09a

The fonts are packaged in isabelle.eclipse.ui plug-in and loaded upon plug-in startup.