On 05/16/2015 07:38 PM, Scott Kostyshak wrote:
On Sat, May 16, 2015 at 9:32 AM, Juergen Spitzmueller <[email protected]> wrote:
commit 818249f69fbb59f8ecae17213e046069f53de438
Author: Juergen Spitzmueller <[email protected]>
Date: Sat May 16 15:31:51 2015 +0200
Clarify "Save compressed by default" feature (bug 7822)
diff --git a/src/frontends/qt4/ui/PrefDocHandlingUi.ui
b/src/frontends/qt4/ui/PrefDocHandlingUi.ui
index 949e2b6..dbded33 100644
--- a/src/frontends/qt4/ui/PrefDocHandlingUi.ui
+++ b/src/frontends/qt4/ui/PrefDocHandlingUi.ui
@@ -6,8 +6,8 @@
<rect>
<x>0</x>
<y>0</y>
- <width>403</width>
- <height>416</height>
+ <width>413</width>
+ <height>497</height>
Was the above change intended? What does it have to do with the tool tip?
These sorts of changes seem to happen all the time with Qt Designer.
Richard
