This extension represents all opened windows as Icons. Its strength lies in the ability to handle multiple monitors, workspaces and window-settings. Also this extension is able to handle multiple docklets with various settings at the same time. It is meant to be very flexible and highly customizable. Since there are countless combinations of settings, it is pretty hard to test if all combinations behave as expected or in a way that is preferred. So if you encounter any problems or have any suggestions, please don't hesitate to contact me. I admit, that I am sometimes lazy in responding to emails but I always read them :) My email is in the About-section in the preferences - you can also just comment here.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Version | Status |
---|---|
18 | Active |
17 | Active |
16 | Active |
15 | Rejected |
14 | Active |
13 | Active |
12 | Active |
11 | Active |
10 | Active |
9 | Active |
8 | Active |
7 | Rejected |
6 | Rejected |
5 | Active |
4 | Rejected |
3 | Active |
2 | Rejected |
1 | Rejected |
I'm very sorry to communicate you that this extensions cannot be accepted at extensions.gnome.org, since it uses GSettings without checking for the existence of the schema, and therefore will crash the shell (since schema files can only be installed in /usr/share in 3.2, your schema simply never exists when the extension is installed from e.g.o) If you still want to use GSettings, you need to provide a gschema.compiled file and access it using Gio.SettingsSchemaSource. You can see an example in http://git.gnome.org/browse/gnome-shell-extensions/tree/lib/convenience.js. Of course, since this API first appeared in GIO 2.31.something, your extension won't be approved for anything earlier than 3.3.2.
Uh damn. I feared that the gschema-settings could become a problem. But I didnt know where to check. I was just hoping, that the gschema would be compiled automatically. But apparently I was wrong.^^ Thanks for your explanation. After trying some solutions, I decided to change the settings to a JSON file, which will be updated automatically. I think, that should solve the problem.