gnue/forms/src/uidrivers/win32 UIdriver.py

[Bajusz Tamás]

CVSROOT:        /cvsroot/gnue
Module name:    gnue
Changes by:     Bajusz Tamás <address@hidden>   03/05/05 17:41:48

Modified files:
        forms/src/uidrivers/win32: UIdriver.py 

Log message:
        fixing widgetWidth

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gnue/gnue/forms/src/uidrivers/win32/UIdriver.py.diff?tr1=1.11&tr2=1.12&r1=text&r2=text

Patches:
Index: gnue/forms/src/uidrivers/win32/UIdriver.py
diff -c gnue/forms/src/uidrivers/win32/UIdriver.py:1.11 
gnue/forms/src/uidrivers/win32/UIdriver.py:1.12
*** gnue/forms/src/uidrivers/win32/UIdriver.py:1.11     Sat May  3 18:06:13 2003
--- gnue/forms/src/uidrivers/win32/UIdriver.py  Mon May  5 17:41:48 2003
***************
*** 141,147 ****
      maxWidth = metrics["tmMaxCharWidth"]
      maxHeight = metrics["tmHeight"]
      maxDescent = metrics["tmDescent"]
!     maxLeading = metrics["tmInternalLeading"]
  
      self.textWidth    = int(maxWidth+maxLeading)  # The pixel width of text 
inside a widget
      self.textHeight   = int(maxHeight+maxDescent) + 2  # The pixel height of 
text inside a widget
--- 141,147 ----
      maxWidth = metrics["tmMaxCharWidth"]
      maxHeight = metrics["tmHeight"]
      maxDescent = metrics["tmDescent"]
!     maxLeading = metrics["tmExternalLeading"]
  
      self.textWidth    = int(maxWidth+maxLeading)  # The pixel width of text 
inside a widget
      self.textHeight   = int(maxHeight+maxDescent) + 2  # The pixel height of 
text inside a widget