[gnue] r7049 - in trunk: gnue-designer/src/base gnue-designer/src/forms/LayoutEditor gnue-forms/src

[kilo]

Author: kilo
Date: 2005-02-21 05:00:07 -0600 (Mon, 21 Feb 2005)
New Revision: 7049

Modified:
   trunk/gnue-designer/src/base/Config.py
   trunk/gnue-designer/src/forms/LayoutEditor/LayoutEditor.py
   trunk/gnue-designer/src/forms/LayoutEditor/Workspace.py
   trunk/gnue-forms/src/GFConfig.py
Log:
Moved Designer-related options to Designer's own Config.py

Modified: trunk/gnue-designer/src/base/Config.py
===================================================================
--- trunk/gnue-designer/src/base/Config.py      2005-02-21 07:48:53 UTC (rev 
7048)
+++ trunk/gnue-designer/src/base/Config.py      2005-02-21 11:00:07 UTC (rev 
7049)
@@ -49,6 +49,20 @@
     'Typecast'   : GTypecast.boolean,
     'Default'    : False },
 
+  { 'Name'       : 'BorderPercentage',
+    'Type'       : 'Setting',
+    'Comment'    : 'Fudge factor for altering widget size',
+    'Description': 'Fudge factor for altering widget size',
+    'Typecast'   : GTypecast.number,
+    'Default'    : 100.0 },
+
+  { 'Name'       : 'TextPercentage',
+    'Type'       : 'Setting',
+    'Comment'    : 'Fudge factor for altering text size',
+    'Description': 'Fudge factor for altering text size',
+    'Typecast'   : GTypecast.number,
+    'Default'    : 100.0 },
+
   #
   # Toolbar Icons
   #

Modified: trunk/gnue-designer/src/forms/LayoutEditor/LayoutEditor.py
===================================================================
--- trunk/gnue-designer/src/forms/LayoutEditor/LayoutEditor.py  2005-02-21 
07:48:53 UTC (rev 7048)
+++ trunk/gnue-designer/src/forms/LayoutEditor/LayoutEditor.py  2005-02-21 
11:00:07 UTC (rev 7049)
@@ -418,8 +418,8 @@
       self.charWidth = maxWidth+maxLeading
       self.charHeight = maxHeight+maxDescent
 
-      self.borderPercentage = (float(gConfig('borderPercentage')) / 100)
-      self.textPercentage = (float(gConfig('textPercentage')) / 100)
+      self.borderPercentage = (float(gConfig('borderPercentage', 
section='designer')) / 100)
+      self.textPercentage = (float(gConfig('textPercentage', 
section='designer')) / 100)
 
       self.widgetWidth = int(self.charWidth * self.borderPercentage)
       self.widgetHeight = int(self.charHeight * self.borderPercentage) + 3

Modified: trunk/gnue-designer/src/forms/LayoutEditor/Workspace.py
===================================================================
--- trunk/gnue-designer/src/forms/LayoutEditor/Workspace.py     2005-02-21 
07:48:53 UTC (rev 7048)
+++ trunk/gnue-designer/src/forms/LayoutEditor/Workspace.py     2005-02-21 
11:00:07 UTC (rev 7049)
@@ -368,8 +368,8 @@
       self.charWidth = maxWidth+maxLeading
       self.charHeight = maxHeight+maxDescent
 
-      self.borderPercentage = (float(gConfig('borderPercentage')) / 100)
-      self.textPercentage = (float(gConfig('textPercentage')) / 100)
+      self.borderPercentage = (float(gConfig('borderPercentage', 
section='designer')) / 100)
+      self.textPercentage = (float(gConfig('textPercentage', 
section='designer')) / 100)
 
       self.widgetWidth = int(self.charWidth * self.borderPercentage)
       self.widgetHeight = int(self.charHeight * self.borderPercentage) + 3

Modified: trunk/gnue-forms/src/GFConfig.py
===================================================================
--- trunk/gnue-forms/src/GFConfig.py    2005-02-21 07:48:53 UTC (rev 7048)
+++ trunk/gnue-forms/src/GFConfig.py    2005-02-21 11:00:07 UTC (rev 7049)
@@ -387,20 +387,6 @@
     'Options'    : ['auto', 'windows', 'gtk1'],
     'Default'    : 'auto' },
 
-  { 'Name'       : 'BorderPercentage',
-    'Type'       : 'Setting',
-    'Comment'    : 'Fudge factor for altering widget size',
-    'Description': 'Fudge factor for altering widget size',
-    'Typecast'   : GTypecast.number,
-    'Default'    : 100.0 },
-
-  { 'Name'       : 'TextPercentage',
-    'Type'       : 'Setting',
-    'Comment'    : 'Fudge factor for altering text size',
-    'Description': 'Fudge factor for altering text size',
-    'Typecast'   : GTypecast.number,
-    'Default'    : 100.0 },
-
   { 'Name'       : 'AsteriskWildcard',
     'Type'       : 'Setting',
     'Comment'    : 'Use asterisk (*) for wildcards in addition to percent (%)',