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 641880 - Add a fake panel to workspace thumbnails
Add a fake panel to workspace thumbnails
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on: 641879
Blocks: 641881
 
 
Reported: 2011-02-08 23:11 UTC by Owen Taylor
Modified: 2011-02-18 16:38 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Add a black "panel" to workspace thumbnails (1.45 KB, patch)
2011-02-09 19:31 UTC, Owen Taylor
rejected Details | Review
workspaceThumbnails: Remove empty panel space (2.91 KB, patch)
2011-02-09 22:46 UTC, drago01
needs-work Details | Review
Omit the panel area from the previewed workspaces (7.34 KB, patch)
2011-02-13 22:32 UTC, Owen Taylor
committed Details | Review

Description Owen Taylor 2011-02-08 23:11:51 UTC
Workspace thumbnails currently have a blank space where the panel would be which can look odd if you look closely. Adding a fake panel there would help, though sizing is a bit tricky since panel sizing depends on font sizes and is determined dynamically. Probably we should just follow the strut we set to size the fake panel?

(https://bugzilla.gnome.org/show_bug.cgi?id=640996#c31)
Comment 1 Owen Taylor 2011-02-09 19:31:21 UTC
Created attachment 180500 [details] [review]
Add a black "panel" to workspace thumbnails
Comment 2 Owen Taylor 2011-02-09 19:36:23 UTC
Patch uses 

  name: 'panel'

to pick up the style for the panel - this works, since names don't have to be unique in clutter, but I don't like it - we might eventually try to optimize things like #panel making the assumption that they are unique. But I didn't fix panel to be a style class because trying it out, it doesn't look right to me. The panel is a "frame" around the workspace contents not part of the workspace contents. We should rather exclude that part of the screen from the thumbnails, I think.

For comparison, note that the workspace scroll mockup at the end of http://jimmac.musichall.cz/log/?p=1126 doesn't have panels for each workspace.
Comment 3 drago01 2011-02-09 22:46:04 UTC
Created attachment 180527 [details] [review]
workspaceThumbnails: Remove empty panel space

Remove the empty panel space at the top by using a clip.


---

This is closer to the mockups, but is ugly (codewise).
Comment 4 Owen Taylor 2011-02-09 23:04:33 UTC
Review of attachment 180527 [details] [review]:

Thanks! but busy rewriting all the sizing/positioning code, so this isn't going to close to apply. I'll try and come up with something once I have that done
Comment 5 Owen Taylor 2011-02-13 22:32:28 UTC
Created attachment 180793 [details] [review]
Omit the panel area from the previewed workspaces

Allow defining a "porthole" that is the visible area of a workspace
thumbnail, and use this to clip the portion under the panel off the
workspace thumbnails. (This is wrong for fullscreen windows, but not
very wrong, and hopefullly the few missing pixels will be
unnoticeable.)
Comment 6 Florian Müllner 2011-02-18 16:21:19 UTC
Review of attachment 180793 [details] [review]:

Looks good - I agree that some missing pixels on fullscreen windows shouldn't matter too much.
Comment 7 Owen Taylor 2011-02-18 16:37:58 UTC
Attachment 180793 [details] pushed as 1473a66 - Omit the panel area from the previewed workspaces