Uwe Stöhr wrote:
> OK?
Yes.
Jürgen
rgheck schrieb:
Is it allowed to change the preferences file format in branch?
I don't change the preferences file because this file can already contain this setting. I only
implemented to change the value. Currently you need to do this by opening the preferences file with
an editor which is
On 09/20/2009 08:57 PM, Uwe Stöhr wrote:
The attached patch fixes #6176 for branch: It implements an UI to
change the InstantPreview size as often requested.
OK?
Is it allowed to change the preferences file format in branch?
rh
The attached patch fixes #6176 for branch: It implements an UI to change the InstantPreview size as
often requested.
OK?
regards Uwe
Index: src/frontends/qt4/GuiPrefs.cpp
===
--- src/frontends/qt4/GuiPrefs.cpp (revision 31424)
+++ s
