After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 727828 - Use a popover for gear menu
Use a popover for gear menu
Status: RESOLVED FIXED
Product: system-monitor
Classification: Core
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: System-monitor maintainers
System-monitor maintainers
Depends on:
Blocks:
 
 
Reported: 2014-04-08 12:53 UTC by Stefano Facchini
Modified: 2014-04-12 10:21 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Use a popover for gear menu (837 bytes, patch)
2014-04-08 12:54 UTC, Stefano Facchini 		needs-work Details | Review

Description Stefano Facchini 2014-04-08 12:53:59 UTC 
It's the new trend
Comment 1 Stefano Facchini 2014-04-08 12:54:01 UTC 
Created attachment 273800 [details] [review]
Use a popover for gear menu
Comment 2 Robert Roth 2014-04-08 13:08:16 UTC 
Review of attachment 273800 [details] [review]:

Do you know what happens if that's set the user is still running on gtk+ 3.10? (Welcome back, haven't seen your name in a long time)
Comment 3 Stefano Facchini 2014-04-08 13:56:45 UTC 
a couple of warnings, I guess :)

Though I don't think there are many users of system-monitor around, who are still on older GNOME libraries. Distributions tipically upgrade all GNOME software at once...
Comment 4 Robert Roth 2014-04-12 10:21:29 UTC 
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.