VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,744 Commits 15 Branches 450 Tags
03aa1804723e5fb2ca82c00a389fa4b5770193c5
Commit Graph

10 Commits

Author SHA1 Message Date
Florian Müllner 5b07dfded9 window-list: Show previews in workspace switcher 
Currently the new horizontal workspace switcher only shows a series of
buttons, with no indication of the workspaces' contents. Go full GNOME 2
and add tiny draggable preview rectangles that represent the windows
on a particular workspace.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/74
 2019-07-19 13:16:40 +02:00
Florian Müllner c9477dd94d window-list: Support horizontal workspace layout 
Unlike in GNOME 2, the workspace indicator we display in the window list
isn't a workspace switcher, but a menu button that allows switching
workspaces via its menu. The reason for that is that a horizontal
in-place switcher would be at odds with the vertical workspace layout
used in GNOME 3.

However that reasoning doesn't apply when the layout is changed to a
horizontal one, so replace the button with a traditional workspace
switcher in that case.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/70
 2019-07-19 13:11:22 +02:00
Jakub Steiner ae1b17d29c classic: Update window-list styling 
Make buttons flatter, rounder to match default styling.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/82
 2019-07-16 11:17:11 +02:00
Florian Müllner 92db87f7cb window-list: Add window picker button 
With the latest changes, GNOME Classic has become so classic that it
is bordering dull. Salvage at least a tiny piece of GNOME 3 in form
of a window-pick button which toggles an exposé-like reduced overview.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/73
 2019-06-28 23:02:58 +02:00
Jakub Steiner 5e545d2991 theme: window-list minimized button 
- when a window is minimized, it's unfocused, thus the button
in the window list should remain raised

https://bugzilla.gnome.org/show_bug.cgi?id=775282
 2017-01-20 14:45:30 +01:00
Jakub Steiner 59aa0f66f3 panel style changes 
- based on a patch by rudolf@palaticky.com
- having three css locations with hardcoded colors,
  what could possibly go wrong in the future. :(

https://bugzilla.gnome.org/show_bug.cgi?id=756807
 2016-05-10 15:51:49 +02:00
Jakub Steiner 2935848954 window-list button colors 
- not sure I win the override game

https://bugzilla.gnome.org/show_bug.cgi?id=756807
 2015-10-26 15:34:52 +01:00
Florian Müllner 4cde6facc9 window-list: Use font-relative size in classic style 
Commit 85b7049376 fixed this for the regular session, but forgot to also
update the classic style.
 2015-09-04 19:56:23 +02:00
Florian Müllner 45767c93d5 window-list: Make bottom panel taller in classic mode 
Consider additional borders in classic styling for the panel height.

https://bugzilla.gnome.org/show_bug.cgi?id=698169
 2013-05-13 22:01:01 +02:00
Florian Müllner a1c938d3d9 window-list: Add classic mode styling 
Classic mode uses a distinct visual style, support this by shipping
a dedicated stylesheet.

https://bugzilla.gnome.org/show_bug.cgi?id=693171
 2013-02-05 20:09:16 +01:00