4 Commits

Author	SHA1	Message	Date
Juergen Spitzmueller	a9ad5c3337	Factor out duplicated code	2012-08-18 11:57:16 +02:00
Juergen Spitzmueller	924f71c792	Remove unused variable	2012-08-18 10:14:32 +02:00
Juergen Spitzmueller	03943ef730	Issue a warning if a LaTeX font is not available ... Also output font in source preview notwithstanding availability.	2012-08-18 09:58:19 +02:00
Juergen Spitzmueller	869b84aef9	Clean up LaTeX font handling (#4999) ... The LaTeX font information are now centralized and outsourced. This removes a lot of hardcoding and duplication and makes it easier to support new LaTeX fonts.	2012-08-16 13:23:39 +02:00