-
Giovanni Campagna authored
Introduce a new extensions that allows to manage your workspaces more easily, assigning a specific workspace to each application, as soon as it creates a windows, in manner configurable with a GSettings key.
ecd7c175
Introduce a new extensions that allows to manage your workspaces more easily, assigning a specific workspace to each application, as soon as it creates a windows, in manner configurable with a GSettings key.