ecd7c1754d
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.
2 lines
50 B
CSS
2 lines
50 B
CSS
/* This extensions requires no special styling */
|