Stefan Schimanski wrote: > Bug: http://bugzilla.lyx.org/show_bug.cgi?id=3787 > Problem: Changing the font does not change the fontmetrics variable. > Patch:
Looks good and works for me. Jürgen
- Re: [patch] Huge fonts do not set the row height, #37... Jürgen Spitzmüller
- Re: [patch] Huge fonts do not set the row height... Alfredo Braunstein
- Re: [patch] Huge fonts do not set the row he... Alfredo Braunstein
- Re: [patch] Huge fonts do not set the ro... Stefan Schimanski
- Re: [patch] Huge fonts do not set th... Alfredo Braunstein
