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 761124 - Minor tab margin/padding issue
Minor tab margin/padding issue
Status: RESOLVED FIXED
Product: system-monitor
Classification: Core
Component: general
3.16.x
Other Linux
: Normal enhancement
: ---
Assigned To: System-monitor maintainers
System-monitor maintainers
: 763235 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2016-01-26 09:51 UTC by Leandro Heck
Modified: 2016-03-08 20:50 UTC
See Also:
GNOME target: ---
GNOME version: 3.15/3.16

Attachments
Problem comparing Ambiance theme vs Generic (arc) theme (264.08 KB, image/jpeg)
2016-01-26 09:51 UTC, Leandro Heck 		Details

Description Leandro Heck 2016-01-26 09:51:01 UTC 
Created attachment 319737 [details]
Problem comparing Ambiance theme vs Generic (arc) theme

"Processes" tab has a margin/padding space between the content below wich is different than in "Resources" and "File Systems" tabs. It will be nice if all tabs could have the same margin/padding space. The problem can be augmented using other themes. See the attached image.
Comment 1 Robert Roth 2016-02-03 17:17:00 UTC 
This problem has been fixed in the unstable development version. The fix will be available in the next major software release. You may need to upgrade your Linux distribution to obtain that newer version.
Comment 2 Robert Roth 2016-03-08 20:50:25 UTC 
*** Bug 763235 has been marked as a duplicate of this bug. ***