Ticket #3879: 0001-Style-the-palette-menu-header-SL-3879-3836.patch

src/sugar3/graphics/palette.py

@@ -40 +40 @@
         WidgetInvoker, CursorInvoker, ToolInvoker, CellRendererInvoker
 
 
+class _HeaderItem(Gtk.MenuItem):
+    """
+    A MenuItem with a custom child widget that gets all the available
+    space.
+
+    """
+
+    __gtype_name__ = 'SugarPaletteHeader'
+
+    def __init__(self, widget):
+        super(_HeaderItem, self).__init__()
+        if self.get_child() is not None:
+            self.remove(self.get_child())
+        self.add(widget)
+
+    def do_size_allocate(self, allocation):
+        self.set_allocation(allocation)
+        self.get_child().size_allocate(allocation)
+
+
+class _HeaderSeparator(Gtk.SeparatorMenuItem):
+
+    __gtype_name__ = 'SugarPaletteHeaderSeparator'
+
+    def __init__(self):
+        super(_HeaderSeparator, self).__init__()
+
+
 class Palette(PaletteWindow):
     """
     Floating palette implementation.
@@ -375 +403 @@
 
             self._widget = _PaletteMenuWidget()
 
-            self._label_menuitem = Gtk.MenuItem()
-            child = self._label_menuitem.get_child()
-            if child is not None:
-                self._label_menuitem.remove(child)
-            self._label_menuitem.add(self._primary_box)
-
-            # Mark the menuitem as insensitive so that it appears as an
-            # informational element, rather than a clickable item in the menu.
-            # TODO: see if we can do this better in GTK.
-            self._label_menuitem.set_sensitive(False)
-
+            self._label_menuitem = _HeaderItem(self._primary_box)
             self._label_menuitem.show()
             self._widget.append(self._label_menuitem)
 
+            separator = _HeaderSeparator()
+            self._widget.append(separator)
+            separator.show()
+
             self._setup_widget()
 
         return self._widget