Fixed separators colors in search results

This commit is contained in:
Clement Lefebvre 2010-09-10 10:42:02 +01:00
parent 9fee409db4
commit 022aed6b83
2 changed files with 10 additions and 2 deletions

6
debian/changelog vendored
View File

@ -1,3 +1,9 @@
mintmenu (5.0.3) julia; urgency=low
* Fixed separators colors in search results
-- Clement Lefebvre <root@linuxmint.com> Fri, 10 Sep 2010 10:41:00 +0000
mintmenu (5.0.2) julia; urgency=low
* Fixed space chars in computer search

View File

@ -618,9 +618,10 @@ class pluginclass( object ):
separator.add(gtk.HSeparator())
separator.set_size_request(-1, 20)
separator.type = "separator"
self.mintMenuWin.SetPaneColors( [ separator ] )
separator.show_all()
self.applicationsBox.add(separator)
self.suggestions.append(separator)
self.suggestions.append(separator)
suggestionButton = SuggestionButton(gtk.STOCK_ADD, self.iconSize, "")
suggestionButton.connect("clicked", self.search_dictionary)
@ -638,7 +639,8 @@ class pluginclass( object ):
self.last_separator = gtk.EventBox()
self.last_separator.add(gtk.HSeparator())
self.last_separator.set_size_request(-1, 20)
self.last_separator.type = "separator"
self.last_separator.type = "separator"
self.mintMenuWin.SetPaneColors( [ self.last_separator ] )
self.last_separator.show_all()
self.applicationsBox.add(self.last_separator)
self.suggestions.append(self.last_separator)