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 698169 - classic mode: not enough bottom margin for window list
classic mode: not enough bottom margin for window list
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: extensions
3.8.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
classic
Depends on:
Blocks:
 
 
Reported: 2013-04-16 23:05 UTC by Jeremy Bicha
Modified: 2013-05-13 20:09 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Screenshot of GNOME Classic (19.25 KB, image/png)
2013-04-16 23:05 UTC, Jeremy Bicha
  Details
Screenshot of GNOME panel (12.49 KB, image/png)
2013-04-16 23:06 UTC, Jeremy Bicha
  Details
window-list: Make bottom panel taller in classic mode (831 bytes, patch)
2013-04-30 15:50 UTC, Florian Müllner
committed Details | Review

Description Jeremy Bicha 2013-04-16 23:05:48 UTC
Created attachment 241695 [details]
Screenshot of GNOME Classic

GNOME Shell 3.8.1 "Classic mode" on Ubuntu 13.04

The window list buttons look like they're cut off at the bottom. I think it just needs some margin on the bottom.

Compare with gnome-panel. Screenshots attached.
Comment 1 Jeremy Bicha 2013-04-16 23:06:16 UTC
Created attachment 241696 [details]
Screenshot of GNOME panel
Comment 2 Matthias Clasen 2013-04-30 14:26:58 UTC
Florian, can we fix this ? It is very visible
Comment 3 Florian Müllner 2013-04-30 15:50:31 UTC
Created attachment 242946 [details] [review]
window-list: Make bottom panel taller in classic mode

Consider additional borders in classic styling for the panel height.
Comment 4 Rui Matos 2013-04-30 17:15:33 UTC
Review of attachment 242946 [details] [review]:

I'm not fully sure what's going on but the panel comes up 33px tall and thus you can't activate the buttons if the pointer is on the bottom pixel row.

Just setting the !important on stylesheet.css instead of overriding this new one here seems to make it work correctly. i.e.

diff --git a/extensions/window-list/stylesheet.css b/extensions/window-list/stylesheet.css
index 330e99e..12b6fed 100644
--- a/extensions/window-list/stylesheet.css
+++ b/extensions/window-list/stylesheet.css
@@ -2,7 +2,7 @@
   /* .window-button-icon height +
      .window-button vertical padding +
      .window-button > StWidget vertical padding) */
-  height: 30px;
+  height: 30px !important;
 }
Comment 5 Florian Müllner 2013-04-30 17:28:34 UTC
(In reply to comment #4)
> I'm not fully sure what's going on but the panel comes up 33px tall and thus
> you can't activate the buttons if the pointer is on the bottom pixel row.

Odd, I tested that explicitly and it works fine here.


> Just setting the !important on stylesheet.css instead of overriding this new
> one here seems to make it work correctly. i.e.

Huh, interesting. It comes out a bit cramped to my taste, but as there's not conflicting CSS that is overwritten, it's interesting that it makes a difference in the first place.
Comment 6 Rui Matos 2013-05-03 16:12:15 UTC
I think I found the real problem. When the summary-source-counter is visible,
its size makes the window-buttons shift down and that's probably why it worked
for you.

So, to keep the 32px panel height and still have the window-buttons always fill
up that height we need to increase the padding on them:

+    padding: 4px 6px 2px !important;
Comment 7 Florian Müllner 2013-05-13 20:09:38 UTC
Attachment 242946 [details] pushed as 45767c9 - window-list: Make bottom panel taller in classic mode

(In reply to comment #6)
> So, to keep the 32px panel height and still have the window-buttons always fill
> up that height we need to increase the padding on them:
> 
> +    padding: 4px 6px 2px !important;

Works fine in testing, pushing.