Georg Baum 2fc430d5ae Store both sets of font selections
This is one part of bug 9744: If you toggle between TeX fonts and non-TeX
fonts, the settings of the other choice are no longer thrown away, but stored
and re-activated if you switch back. Most parts of the patch are purely
mechanical (duplicating some BufferParams members), the only non-mechanical
change is in the GUI logic.
2015-11-09 07:36:42 +01:00
..
2015-06-14 12:44:44 +02:00
2015-06-14 12:44:44 +02:00
2014-07-04 19:55:44 +02:00
2015-11-09 07:36:42 +01:00
2015-11-09 07:36:42 +01:00