Make it possible for panels to go all the way to the edge of the
shell. This is particularly important for panels that scroll, such
as the new power panel. All other panels are changed to compensate
for the loss of external padding.
https://bugzilla.gnome.org/show_bug.cgi?id=691229
Show applications using the message tray, and
allow configuring in what way the shell presents them.
The set of applications shown include all applications that ever
showed a notification in gnome-shell and all applications that have
a boolean X-GNOME-UsesNotifications key set to true in their desktop file.
https://bugzilla.gnome.org/show_bug.cgi?id=685928
Now that we don't allow or load external panels, using libgnome-menu is just
overengineering. We can get the same results with less code by keeping a static
list of function pointers.
This reduces the number of places one needs to patch to add a new panel.
Also, this way we avoid registering all types at startup, and if we want
we can switch to load panel desktop files in a separate thread.
https://bugzilla.gnome.org/show_bug.cgi?id=690165
This makes loading faster, with less I/O, avoids unnecessary
code duplication (around 1k lines shaved), and ensures that
all the panels link and work appropriately.
By the same token, it will stop external panels from being
created, and loaded.
https://bugzilla.gnome.org/show_bug.cgi?id=690036
Currently, gnome-themes-standard sets a white background on all
GtkViewport widgets.
We want to stop rendering one by default, so add a style class to the
main viewport that ensures it gets the same background as the icon
views it packs inside.
https://bugzilla.gnome.org/show_bug.cgi?id=689700
To allow the home button to have the correct height, the aspect frame it is
inside has to be given enough horizontal space to allow the button to be
square. The home button also needs to be in a size group with the
"search-entry" widget rather than the "entry-alignment" widget, since the
latter is resized when the search entry is shown or hidden.
https://bugzilla.gnome.org/show_bug.cgi?id=681510
"System" settings seem like the wrong thing to tweak to get
to things like background, and a number of other preferences.
Rename the desktop file and the window "Settings"
https://bugzilla.gnome.org/show_bug.cgi?id=681543
When re-activating the same panel, we could destroy and recreate the
panel, or better reuse the panel, and set the new argv
(usually to switch pages).
Since we're changing the "argv" property of panels to not be construct-
only anymore, we reviewed the panels for potential memory leaks as well.
https://bugzilla.gnome.org/show_bug.cgi?id=684490
The code we used to match the entry and label font size and
weight broke down with the latest CSS improvements in GTK+.
Use a new GtkEntry api for this instead.
The GTK+ requirement has been bumped to 3.5.13.
