Changeset 201:1999280506e6 for src/mlx/gui

Timestamp:

05/28/12 04:44:39 (12 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

default

Phase:

public

Message:

Reworked the styling of the wizard pages so that the background of the title is correct on Gtk+ 3 too

File:

• src/mlx/gui/flight.py (modified) (5 diffs)

src/mlx/gui/flight.py

@@ -30 +30 @@
         self.add(frame)
 
-        style = self.get_style() if pygobject else self.rc_get_style()
-
         self._vbox = gtk.VBox()
         self._vbox.set_homogeneous(False)
@@ -37 +35 @@
 
         eventBox = gtk.EventBox()
-        eventBox.modify_bg(0, style.bg[3])
 
         alignment = gtk.Alignment(xalign = 0.0, xscale = 0.0)
         
-        label = gtk.Label(title)
-        label.modify_fg(0, style.fg[3])
-        label.modify_font(pango.FontDescription("bold 24"))
+        titleLabel = gtk.Label(title)
+        titleLabel.modify_font(pango.FontDescription("bold 24"))
         alignment.set_padding(padding_top = 4, padding_bottom = 4,
                               padding_left = 6, padding_right = 0)
                               
-        alignment.add(label)
+        alignment.add(titleLabel)
         eventBox.add(alignment)
         
         self._vbox.pack_start(eventBox, False, False, 0)
+
+        self._titleEventBox = eventBox
+        self._titleLabel = titleLabel
 
         mainBox = gtk.VBox()        
@@ -141 +140 @@
                               clicked = clicked)
 
+    def setStyle(self):
+        """Set the styles of some of the items on the page."""
+        style = self.get_style() if pygobject else self.rc_get_style()
+
+        self._titleEventBox.modify_bg(0, style.bg[3])
+        self._titleLabel.modify_fg(0, style.fg[3])
+    
     def initialize(self):
         """Initialize the page.
@@ -2512 +2518 @@
         self._finishPage = FinishPage(self)
         self._pages.append(self._finishPage)
-        
+
         maxWidth = 0
         maxHeight = 0
@@ -2522 +2528 @@
             maxWidth = max(maxWidth, width)
             maxHeight = max(maxHeight, height)
+            page.setStyle()
         maxWidth += 16
         maxHeight += 32