Does not remove empty workspaces

negesti / gnome-shell-extensions-negesti

An gnome-shell extension that makes window movement a lot easier.

GNU General Public License v3.0

287 stars 46 forks source link

Closed lonix1 closed 6 years ago

lonix1 commented 6 years ago

If there are no more windows on workspace 1, then it remains empty. It should be removed, and all workspaces shifted up.

In gnome tweak tool -> workspaces -> dynamic workspaces option, that would be the expected behavior, but this extension seems to change that.

So the empty workspace remains at the top (or middle) of the list, and I need to manually shift all windows up one by one.

negesti commented 6 years ago

The workspace is only removed if you open the "gnome menu" e.g. press super.

If "move to workspace" is not enabled, the extension doesn't mess around with the workspaces (see #111)

lonix1 commented 6 years ago

Yes I have "move to workspace" enabled. But I get "empty" workspaces sometimes.

negesti commented 6 years ago

See #142