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-11-09 07:36:42 +01:00
2013-02-21 22:31:22 +01:00
2015-05-28 22:11:35 +02:00
2015-05-28 22:11:35 +02:00
2012-10-23 22:09:26 +02:00
2012-10-23 22:09:26 +02:00
2012-10-23 22:09:26 +02:00