gnome-shell-extensions

Files

T

Sergio Costas b65f362f0d window-list: Honor changes in skip-taskbar property

Although window-list checks the 'skip-taskbar' property when a
window is added to the desktop to decide wether it should be
shown in the bar or not, it doesn't honor that when the property
is changed after a window has already been added. Since the new
WaylandClient API allows to change this property for already
mapped windows, supporting this is a good idea.

This patch fixes this.

Fix https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/130

2020-10-08 23:42:21 +02:00

apps-menu

apps-menu: Stop using deprecated (child) properties

2020-01-09 20:13:11 +01:00

auto-move-windows

auto-move: Overhaul preference dialog

2020-05-03 19:51:24 +02:00

drive-menu

drive-menu: Emphasize eject buttons as distinct controls

2020-04-10 14:31:40 +00:00

horizontal-workspaces

cleanup: Fix stray/missing spaces