-----BEGIN PGP SIGNED MESSAGE----- Hash: RIPEMD160 On 06/07/10 08:57, [email protected] wrote: > Hi! > >> As I said - it's not that it is impossible - it is just harder. >> >> <RANDOM IDEA>Maybe a list of workspace on auto-hiding sidebar[1] which >> would allow drag&drop and renaming of workspaces? >> >> If there is an API for modifying workspaces it could be a >> plug-in.</RANDOM IDEA> > > There are javascript extensions that can use every internal API of the > shell and of the mutter window manager. So I am sure that could be done as > an extension and I feel that would be the best way to do because naming > workspaces is really a power-user toy. > > Regards, > Johannes >
Are there any docs? Regards -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.15 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQIcBAEBAwAGBQJMMxNqAAoJEJIdee2Vr4aPmHUP/Ali4mflEjSAJRf5H4raPSQl Yk2fGYgIH/xJL3eHjhEtGPHwXRrr5rEVRDfA8ScU2i0tqQhkW8oW2nb/0typjhtt zp3gm3RHezpnaK3mbwv3BvKhrIbdFYbY0aL+rh2FOtWIsKM5IKhEle0RJQ75PGTa dFSF/aWolYh903WMcEQAKUPfuK8p5m0rXzFzpydCKoEXByF3TmjAOX/2gBrLpTHN VotiF7g2YwhmJB2ShGSDX8A5S3ypK6MlxJN+Slu93ipNjPiJ6NDIHn+vdGcpkrQa 3KXMLLMfDUmNmt6FM6UEBMIykjwQ4khsdEJrfaEvdxWNFRovYPxlqmfXzYr6my6e 93rjxKIdcbds4OQZvq1xW/hE0YU1RT6aTOoP4HS+EDSUm9O4nbooaeoCu2ZcIUay irvBkjtE9AlwIK5liCr7n9lO3afaUJQBepO/cjx+uPQ3XuFfUEFAqIUBHPrUZ/U+ q4hXLhpZOAouMxtq/zRh8e0PXorOWhdZmTZhqMDM5/f7cMgOulWizBlx6a2OTQkl cQu7JT/SHTuuDsA+A9EW+k7wA1WQIXvtk0WjZG7iJh+x93TneafWUb+O1a8tnfKI FIgNGRBeqLUA6TnqKrNM/XNqpyECJl/sA3UKawYfkr19QExBywF52hY0a52zAZ+L vNK7oJnjfwH3mhDwNjpv =1Ezc -----END PGP SIGNATURE----- _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
