Re: Windows List extension
- From: Amy <mathematical coffee gmail com>
- To: Guillaume Saumure <gsaumure79 videotron ca>
- Cc: "gnome-shell-list gnome org" <gnome-shell-list gnome org>
- Subject: Re: Windows List extension
- Date: Fri, 2 Nov 2012 16:44:31 +1000
Hi,
You will probably get a better response if you ask at the window list github repository[0].
Re the feature requestion about min/max/close buttons, I wrote some code for that extension to do this, here's the corresponding pull request/issue (waiting for siefkenj to tweak it) [1].
Re grouping buttons, I'm fairly sure there is an option to set this right up the top of the code in extension.js:
const OPTIONS = {
....
GROUP_BY_APP: true // <---
};
I think the overall thing to remember is patience! In general those who write extensions are doing so on their own free time, and certainly for me there's very little of that lying around (I have to take leave if I want the time to work on my extensions, because I have too many other things to do!). And as something that's a hobby rather than a job, the dev certainly isn't obliged to actively develop/maintain the extension.
Also, sometimes the dev writes an extension to fix a little thing that has been niggling them, but is not necessarily interested in maintaining the extension (they adjust their workflow and no longer wish to modify the behaviour, they switch shells, or like me you're *still* on 3.2 at work so no need to write for later versions, ...)
If you don't like window list because it doesn't quite suit your needs (grouping by application etc), perhaps you could try some of the other similar extensions on e.g.o? panel-docklet, frippery bottom panel, there's one like window list but shows icons instead, there's numerous task-bar-like extensions, ... (try searching window or dock or panel or bar and you'll get a whole host of options).
Good luck!
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]