GNOME Shell Extensions 3.37.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list, native-window-placement: Adjust to shell changes 
[Florian; !124]


Contributors:
 Florian Müllner

Translators:
 Jordi Mas [ca], sicklylife [ja], Boyuan Yang [zh_CN],
 Baurzhan Muftakhidinov [kk]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.37/gnome-shell-extensions-3.37.3.tar.xz 
(205K)
 sha256sum: 
20c0f4054137462180582bf7b85ce1db95b4671f791b039169306768c6a0f0b2





___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.37.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list, auto-move: Modernize preference dialogs [Florian; !121]
* Adjust to gnome-shell changes [Florian; !122]

Contributors:
  Florian Müllner

Translators:
  Cheng-Chia Tseng [zh_TW], Yuri Chornoivan [uk], Daniel Mustieles [es],
  Emin Tufan Çetin [tr], Danial Behzadi [fa], Daniel Șerbănescu [ro],
  Matej Urbančič [sl]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.37/gnome-shell-extensions-3.37.2.tar.xz
(204K)
  sha256sum: 76677270c0a73bbe798fe9858d2d59b1ab3b1ca3735e6063011397380dd1a12f
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.36.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes and cleanups [Florian, Xiaoguang; !113, !106]

Contributors:
  Florian Müllner, Xiaoguang Wang

Translators:
  Yosef Or Boczko [he], Kristjan SCHMIDT [eo]


Download

https://download.gnome.org/sources/gnome-shell-extensions/3.36/gnome-shell-extensions-3.36.2.tar.xz
(203K)
  sha256sum: 978202de515cdb03a5885859c538366bca8fd78762ce98b172ac2c0126f8003f
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.37.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* drive-menu: Emphasize eject buttons [Florian; #223]
* user-theme: Add preference dialog [Florian; !117]
* window-list: Fix inconsistent state in preference dialog [Milan; !119]
* workspace-indicator: Overhaul preference dialog [Florian; !120]
* user-theme: Support session mode styles [Florian; !118]
* Misc. bug fixes and cleanups [Florian, Xiaoguang; !113, !106, !114, !116]

Contributors:
  Milan Crha, Florian Müllner, Xiaoguang Wang

Translators:
  Daniel Korostil [uk], Yosef Or Boczko [he], Kristjan SCHMIDT [eo],
  Dz Chen [zh_CN], Danial Behzadi [fa], Yuri Chornoivan [uk],
  Anders Jonsson [sv], Daniel Mustieles [es]


Download

https://download.gnome.org/sources/gnome-shell-extensions/3.37/gnome-shell-extensions-3.37.1.tar.xz
(205K)
  sha256sum: d06f67e88e2040670d1e8e8414458c44778dcee6caddc338d47e9522ed11334d
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.36.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Translators:
  Daniel Korostil [uk]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.36/gnome-shell-extensions-3.36.1.tar.xz
(203K)
  sha256sum: de18927a7d0f5652628d97f03e102c84e576b9c873a878b8e1a53c21183b5039
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.36.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Contributors:
 Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.36/gnome-shell-extensions-3.36.0.tar.xz 
(203K)
 sha256sum: 
b5b29f974d05756130c785bf8e111c0ee43040161947f56bdd3a36871933b1e6



___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.35.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.


Download

https://download.gnome.org/sources/gnome-shell-extensions/3.35/gnome-shell-extensions-3.35.92.tar.xz
(203K)
  sha256sum: 420a6f4a57b102271156a04b4a4817f1bab2f4c4182eee3859fdd90c6de1212a
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.35.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Contributors:
  Florian Müllner

Translators:
  Zander Brown [en_GB]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.35/gnome-shell-extensions-3.35.91.tar.xz
(202K)
  sha256sum: 9c5d45b08b675e70488de5688fb93e480bb54e62a4c7b3b7a34d7b90dc19cc71
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.35.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Adjust to gnome-shell changes [Florian; !100, !101, !102]
* Force single-line window titles in window list [Florian; #202]
* Misc. bug fixes and cleanup [Florian; !104, !105]

Contributors:
  Florian Müllner

Translators:
  sicklylife [ja], Umarzuki Bin Mochlis Moktar [ms]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.35/gnome-shell-extensions-3.35.90.tar.xz
(201K)
  sha256sum: 20c35f0061ab670a5c8840b77507fd4247c20053b96ec7949ea4a0c21c3fda4d
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.35.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Translators:
  Fran Dieguez [gl]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.35/gnome-shell-extensions-3.35.3.tar.xz
(199K)
  sha256sum: e47db8fcd349bb0605c20eda0d14a3be517515f8f6a7cf2790b4c473d77ed998
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.34.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Adjust to gnome-settings-daemon plugin removals [Xiaoguang; !94]

Contributors:
  Florian Müllner, Xiaoguang Wang

Translators:
  Nathan Follens [nl], Dušan Kazik [sk], Ask Hjorth Larsen [da],
  Yi-Jyun Pan [zh_TW]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.34/gnome-shell-extensions-3.34.1.tar.xz
(200K)
  sha256sum: b0ad51143b1bf40def4a10f8fd0ab0ffb47218304800794e62cadd29d0acc75b
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: GNOME Shell Extensions 3.34.0

[Marcel via gnome-shell-list]

Doesn't it more depend on the distribution one uses? I mean, when gnome is 
released it takes a while for Debian to put it in the stable release. And even 
when using the unstable release, it will take some time. And when finally all 
packages are there, I personally never had problems. That being said, if 
someone uses distributions like Arch, then I think it is not much work to use 
extensions as fresh as they are directly from the developers repository. 
extensions.gnome.org is in my respect similar to the stable release from Gnome. 
It takes time to make sure everything has been reviewed.

Cheers,
Marcel

On 9/10/19 9:50 PM, Jason DeRose wrote:

As an extension developer, I don't think it's necessarily fair to burden the 
GNOME team with building a wrapper API and maintaining backwards compatibility 
forever. Even if this did come to fruition, it would likely end up too narrow 
in scope to give extensions the flexibility they enjoy now by being able to 
override basically any behavior in the shell.

That said, it is extremely frustrating that there is no possible way to fix and 
release an extension on extensions.gnome.org before a new GNOME release occurs. 
Breaking changes are made literally up until the Release Candidate is 
generated, and the extension review queue may sit untouched for months (which 
is a major problem itself). A week or two should be built into the timeline for 
extension developers to release an updated version to e.g.o., and then the 
extension review queue should be cleared before the new version is released.


On Tue, Sep 10, 2019, at 3:23 PM, Leslie S Satenstein via gnome-shell-list 
wrote:

Sadly, from one Gnome version or subversion to another, with each change, the majority of 
extensions are broken, and *"Florian Müllner", *that includes the ones you 
wrote. Many people are abandoning Gnome, simply because their favorite extensions no 
longer work.

I have a deep appreciation of the application development process and the QA 
that is needed. May I propose or suggest that there be an a new standardized 
interface for gnome extensions, an extension api, which will be responsible 
backend for the interfacing to the various gnome versions? This api to be 
providing a consistent interface for extension developers. My two favourite 
broken extensions are your menu extension and the Taskbar extension which works 
partially with Tumbleweed, fully with Centos, and not at all with recent 
Fedora's version 30 or any Linux Distribution using a Gnome version beyond 3.32.

Regards
*
  Leslie*
*Leslie Satenstein***
*Montréal Québec, Canada*






___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list


___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: GNOME Shell Extensions 3.34.0

[Jason DeRose]

As an extension developer, I don't think it's necessarily fair to burden the 
GNOME team with building a wrapper API and maintaining backwards compatibility 
forever. Even if this did come to fruition, it would likely end up too narrow 
in scope to give extensions the flexibility they enjoy now by being able to 
override basically any behavior in the shell.

That said, it is extremely frustrating that there is no possible way to fix and 
release an extension on extensions.gnome.org before a new GNOME release occurs. 
Breaking changes are made literally up until the Release Candidate is 
generated, and the extension review queue may sit untouched for months (which 
is a major problem itself). A week or two should be built into the timeline for 
extension developers to release an updated version to e.g.o., and then the 
extension review queue should be cleared before the new version is released.


On Tue, Sep 10, 2019, at 3:23 PM, Leslie S Satenstein via gnome-shell-list 
wrote:
> Sadly, from one Gnome version or subversion to another, with each change, the 
> majority of extensions are broken, and *"Florian Müllner", *that includes the 
> ones you wrote. Many people are abandoning Gnome, simply because their 
> favorite extensions no longer work. 
> 
> I have a deep appreciation of the application development process and the QA 
> that is needed. May I propose or suggest that there be an a new standardized 
> interface for gnome extensions, an extension api, which will be responsible 
> backend for the interfacing to the various gnome versions? This api to be 
> providing a consistent interface for extension developers. My two favourite 
> broken extensions are your menu extension and the Taskbar extension which 
> works partially with Tumbleweed, fully with Centos, and not at all with 
> recent Fedora's version 30 or any Linux Distribution using a Gnome version 
> beyond 3.32. 
> 
> Regards 
> *
>  Leslie*
> *Leslie Satenstein***
> *Montréal Québec, Canada*
> 
> 
> 
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: GNOME Shell Extensions 3.34.0

[Leslie S Satenstein via gnome-shell-list]

Sadly, from one Gnome version or subversion to another, with each change, the 
majority of extensions are broken, and  "Florian Müllner",   that includes the 
ones you wrote. Many people are abandoning Gnome, simply because their favorite 
extensions no longer work. 

I have a deep appreciation of the application development process and the QA 
that is needed. May I propose or suggest that there be an a new standardized 
interface for gnome extensions, an extension api, which will be responsible 
backend for the interfacing to the various gnome versions?  This api to  be 
providing a consistent interface for extension developers. My two favourite 
broken extensions are your menu extension and the Taskbar extension which works 
partially with Tumbleweed, fully with Centos, and not at all with recent 
Fedora's version 30  or any Linux Distribution using a Gnome version beyond 
3.32. 

Regards 
 Leslie
 Leslie Satenstein
Montréal Québec, Canada

 

On Monday, September 9, 2019, 3:46:02 p.m. GMT-4, Florian Müllner 
 wrote:  
 
 About gnome-shell-extensions
========

GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Translators:
  Rafael Fontenelle [pt_BR], Efstathios Iosifidis [el], Milo Casagrande [it],
  Sabri Ünal [tr]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.34/gnome-shell-extensions-3.34.0.tar.xz
(200K)
  sha256sum: f5bf8f6a87f918ebba69adac56257b9439399238021821d689928e2b2822cbab
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
  ___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.34.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Translators:
  Rafael Fontenelle [pt_BR], Efstathios Iosifidis [el], Milo Casagrande [it],
  Sabri Ünal [tr]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.34/gnome-shell-extensions-3.34.0.tar.xz
(200K)
  sha256sum: f5bf8f6a87f918ebba69adac56257b9439399238021821d689928e2b2822cbab
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.33.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Translators:
  Марко Костић [sr], Tim Sabsch [de], Rūdolfs Mazurs [lv], Matej Urbančič [sl],
  Balázs Úr [hu], Claude Paroz [fr], Fran Dieguez [gl], Changwoo Ryu [ko],
  Ryuta Fujii [ja], Fabio Tomat [fur], Goran Vidović [hr]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.33/gnome-shell-extensions-3.33.92.tar.xz
(200K)
  sha256sum: 2bb7bb87020f6392d9739d2b232beef1338659ff10b2a39bd1cd3843d108bae7
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.33.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes and cleanups [Florian; !88, !90, !91, !92]

Contributors:
  Florian Müllner

Translators:
  Asier Sarasua Garmendia [eu], Anders Jonsson [sv], Marek Černocký [cs],
  Kukuh Syafaat [id], Jiri Grönroos [fi], Florentina Mușat [ro],
  Aurimas Černius [lt], Daniel Mustieles [es], Piotr Drąg [pl], Jordi Mas [ca],
  Danial Behzadi [fa]


Download

https://download.gnome.org/sources/gnome-shell-extensions/3.33/gnome-shell-extensions-3.33.91.tar.xz
(199K)
  sha256sum: db696fd1f357b13d104d1c4a1ff54048e4eb82a557489b5a44c579952e47d732
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.33.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list: Support showing windows from all workspaces [Florian; #154]
* Misc. bug fixes and cleanups [Florian; !86, !87]

Contributors:
  Florian Müllner

Translators:
  Jor Teron [mjw]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.33/gnome-shell-extensions-3.33.90.tar.xz
(198K)
  sha256sum: f6a27b4521a2f659c6fb73561ebca6295323042f84e656693ce6e6c73af0e8b4
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.33.4

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Make GNOME Classic more classic:
  - Disable GNOME 3 overview [Florian; !69]
  - Add window picker button to window list [Florian; !73, !80]
  - Style improvements and fixes [Jakub; #169, !82]
  - Support horizontal workspace layout in window list [Florian; !70]
  - Add draggable previews to window list workspace switcher [Florian; !74]
  - Arrange workspaces horizontally [Florian; !72]
* workspace-indicator: Support horizontal workspace layout [Florian; !71]
* workspace-indicator: Add draggable previews [Florian; !77]
* Misc. bug fixes and cleanups [Florian; !75, !76, !79, !78, #168, !84]

Contributors:
  Florian Müllner, Jakub Steiner, Jor Teron

Translators:
  Jor Teron [mjw]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.33/gnome-shell-extensions-3.33.4.tar.xz
(197K)
  sha256sum: 304aaa44fb7df1ca0a26670317d25f9f51dc794051fc54bd951d1289718ec7bd
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.33.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes [Florian, Marco; !67, !68]

Contributors:
  Florian Müllner, Marco Trevisan (Treviño)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.33/gnome-shell-extensions-3.33.3.tar.xz
(194K)
  sha256sum: cfbde8a5dad76f0a3901aeacddbba2662b3a49a8aa21e562e4eef1a45be0cfc2
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.33.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes [Florian; !64]

Contributors:
  Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.33/gnome-shell-extensions-3.33.1.tar.xz
(194K)
  sha256sum: e8405dbdf8411e9ddde34b9bbf8c34f9f9d7bf257d3334e706bc728d22700bb8
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.32.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Fix windowsNavigator extension after ES6 port [Florian; #143]
* screenshot-window-sizer: Add phone screenshot sizes [Adrien; !65]
* Misc. bug fixes and cleanups [Fabian; !62]

Contributors:
  Florian Müllner, Adrien Plazas, Fabian P. Schmidt



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.32/gnome-shell-extensions-3.32.1.tar.xz
(194K)
  sha256sum: 02b2b2fb477fcd8277ee3ce34ec156d97724011f2660dd2e14c412f18d5b911e
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.32.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


Contributors:
  Florian Müllner

Translations:
  Victor Ibragimov [tg], Kristjan SCHMIDT [eo], Mart Raudsepp [et]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.32/gnome-shell-extensions-3.32.0.tar.xz
(194K)
  sha256sum: 85de915dda1ec20e071b8bd996cb800a4e381f1aea37ea4939446f73e18ef973
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.31.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes and cleanups [Florian; !57, !58, !59, !60]

Contributors:
  Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.31/gnome-shell-extensions-3.31.92.tar.xz
(194K)
  sha256sum: d54a9973e1f5d9c9f9d408212ed90682d6d69d5324d14e038ead663744965130
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.31.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Remove outdated legacy-tray handling [Florian; !53]
* user-theme: Allow using XDG user data dir [Tomasz; !55]
* Misc. bug fixes and cleanups [Florian; !52, !54, !56]

Contributors:
  Tomasz Gąsior, Florian Müllner

Translators:
  Matej Urbančič [sl], Gun Chleoc [gd]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.31/gnome-shell-extensions-3.31.91.tar.xz
(194K)
  sha256sum: f60215fce7b92bb68235c4f4f977936728a803ce7a62ce82af2168de6e0c358d
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.31.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes and cleanups [Florian; !49, !50, !51]

Contributors:
  Florian Müllner

Translators:
  Ryuta Fujii [ja], Charles Monzat [fr], Pieter Schalk Schoeman [af]



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.31/gnome-shell-extensions-3.31.90.tar.xz
(194K)
  sha256sum: 466f03a0a2d5a478f839847f37e9e02b0195b5e364e0a81b164ddf6564ec6737
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.31.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Remove obsolete alternate-tab extension [Florian; #786496]
* Adjust to gnome-shell changes [Florian; #113]

Contributors:
  Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.31/gnome-shell-extensions-3.31.2.tar.xz
(192K)
  sha256sum: a921fc3ba253a21300828b49b108e44cdf15f695bb4a571a5972e09b9b616301
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.30.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Fix height on HiDPI systems [Florian; #102]
* window-list: Only switch between windows on active workspace when scrolling
  [Florian; #78]

Contributors:
  Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.30/gnome-shell-extensions-3.30.1.tar.xz
(194K)
  sha256sum: b7301209ff143f9e83d43f9521ab53c9f8db0104ce562e4ec8a49c5e1cb13dbf
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.30.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Bump version



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.30/gnome-shell-extensions-3.30.0.tar.xz
(194K)
  sha256sum: 0538ca528ceaa2f5c6e9ff7e356654fe712b305ec0ae6575934830ce0ecadb54
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.29.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes [Florian; #90]

Contributors:
  Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.29/gnome-shell-extensions-3.29.91.tar.xz
(195K)
  sha256sum: ce0c477e6d880d7be2e937533089735ea33ce551b60c1b8466ec8dbcfb95991f
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.29.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Misc. bug fixes [Florian; #786496]

Contributors:
  Florian Müllner



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.29/gnome-shell-extensions-3.29.90.tar.xz
(195K)
  sha256sum: a20dcb493189de60cb1b54350cc21e6f1e08b1d8a98820f3593e2e6d1f91d9bc
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.26.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations: (ca@valencia)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.26/gnome-shell-extensions-3.26.2.tar.xz
(341K)
  sha256sum: aefda4d810ef5ceb9402e2d620f4bdc1dc40c9cc4f6a51749840f7dd08628ab6
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.27.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (ca@valencia)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.27/gnome-shell-extensions-3.27.1.tar.xz
(339K)
  sha256sum: ad5a1869db1acfc60bb4f00e9ba81012ed60fda87b41e4566d725f9f012035ad
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.26.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* native-window-placement: Adjust to gnome-shell changes
* updated translations: el, fa, ru, sv



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.26/gnome-shell-extensions-3.26.1.tar.xz
(341K)
  sha256sum: 2437c6abce399a97ff95c2de9784580a5db82c59b67e09eaf2c8d972cca1d6d0
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.26.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (be, bg, ca, da, eu, fi, is, it, ko, lv, ml,
  nl, pt_BR, vi, zh_TW)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.26/gnome-shell-extensions-3.26.0.tar.xz
(341K)
  sha256sum: f51b59b4ae192d7480229657cab2354bee24d40857384a0fde72d0af2635f704
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Fwd: gnome-shell-extensions 3.25.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (ca, fr, it, pl, pt_BR, sr, sr@latin, tr)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.25/gnome-shell-extensions-3.25.91.tar.xz
(339K)
  sha256sum: b53eeca1b0d14a14955e8176cd7f9c4671e7712270ef4e77009186c3a03d5d98
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.25.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (es, gl, hr, hu, kk, sl, sv, sv)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.25/gnome-shell-extensions-3.25.90.tar.xz
(339K)
  sha256sum:
592ab79e1d57569cf0cf19b2c26fe7958146cd653394ac6671f8fb5095e61424
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.25.4

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* screenshot-window-sizer: Fix backward cycling
* updated translations (ar, be, ca, cs, de, fur, id, lt, pl, sk)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.25/gnome-shell-extensions-3.25.4.tar.xz
(339K)
  sha256sum:
915c57b1955b569da2e0ee4c5974adf38dc48f869efe63fb2efbd5c69746e13a
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.24.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* screenshot-window-sizer: Fix backward cycling
* updated translations (cs, de, id, pl)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.24/gnome-shell-extensions-3.24.3.tar.xz
(338K)
  sha256sum:
3c7defc6512d7ed9f09eb82342d7b6c8f5fe8dcac3f0126ca7e0569feeb50a79
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.25.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* places-menu: Use mount operation if necessary
* window-list: Respect MWM hints
* updated translations (es, fur, kk)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.25/gnome-shell-extensions-3.25.3.tar.xz
(337K)
  sha256sum:
95baea3ce1b9f3565a8424af3bdb189cf0b52fb9debf820b98709c52984e3630
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.25.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* places-menu: Make URI launching asynchronous
* updated translations (de, fur, hr, hu, id, sl)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.25/gnome-shell-extensions-3.25.2.tar.xz
(337K)
  sha256sum:
d2eab29d5f48eecd5d60c92d380efd9b989427cde7f95b317e06a0d7881b2775
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.24.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Mark copied launchers as trusted
* places-menu: Make icon lookup asynchronous
* updated translations (hr)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.24/gnome-shell-extensions-3.24.2.tar.xz
(338K)
  sha256sum:
9a1cc6c17dcf692121bdfe503d4e386a0992b2c976f90bd2f495155af9414f83
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.25.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Mark copied launchers as trusted
* places-menu: Make icon lookup asynchronous
* updated translations (hr)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.25/gnome-shell-extensions-3.25.1.tar.xz
(338K)
  sha256sum:
c8679f968a210f1beaa94b786995c85f0bf7cf5c3f199dc7d3ac49946914cea0
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.24.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Allow creating desktop launchers via DND
* updated translations (el, vi)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.24/gnome-shell-extensions-3.24.1.tar.xz
(336K)
  sha256sum:
f8008064e732f1b29d8343c43b2b5ca029411af33e47b32a4daed2cae5b9aa60
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.24.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (lv, tr)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.24/gnome-shell-extensions-3.24.0.tar.xz
(335K)
  sha256sum:
a1f453cce7543a09f3d5515918a6fe903c1b4aa578f7367335dd1a8121d2618f
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.23.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* update classic theme
* updated translations (be, ko, ca, da, cs, ru, lt)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.23/gnome-shell-extensions-3.23.92.tar.xz
(335K)
  sha256sum:
3059cd9723f22b4c17eeaa5a27f6ac18b3ab01032cbdc026c1c016594d58fd66
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.23.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (de, es, eu, fi, fr, fur, gl, hu, id, it, kk, nb,
pl, pt_BR,
  sk, sr, sr@latin, sv, uk, zh_TW)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.23/gnome-shell-extensions-3.23.91.tar.xz
(335K)
  sha256sum:
e0c514d7b2101b90db8e96a158fcf19e6b2697ddae52214bb8ffdaccbb031e23
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.23.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list: Improve styling
* window-list: Hide workspace indicator when there's a single (static)
workspace
* new translation (be)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.23/gnome-shell-extensions-3.23.90.tar.xz
(334K)
  sha256sum:
38879d45c8ffc3f972a8bb54e5b1c284823fb9c5417a0725be66d4abf3288723
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.23.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* alternateTab: Don't take over 'switch-group' shortcut
* updated translations (zh_CN)


Download

https://download.gnome.org/sources/gnome-shell-extensions/3.23/gnome-shell-extensions-3.23.2.tar.xz
(332K)
  sha256sum:
5726914b47b8cbf219040e8cb7f099a602ed17550fbb664922f68abb7d80ab2e
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.22.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


 * updated translations (zh_CN)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.22/gnome-shell-extensions-3.22.2.tar.xz
(331K)
  sha256sum:
df7c22c69e29162bc1a7018b25b9a2fc37546451746b8b3c5109e5ac92238a87
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.22.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list: Update icon on app changes



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.22/gnome-shell-extensions-3.22.1.tar.xz
(332K)
  sha256sum: e6fd8974758d3e97a8708fe0b0fb92ca00b48f67bc24590ff718f756b820c6cd
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.22.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (en_GB)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.22/gnome-shell-extensions-3.22.0.tar.xz
(332K)
  sha256sum:
317b35f6f1299d5162e693d39b21031f5fe875083c4020217db3ec056e245fc5
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.21.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* update style
* updated translations (pl, vi)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.21/gnome-shell-extensions-3.21.92.tar.xz
(331K)
  sha256sum:
41fbdbeca522bbb36ccfa20b43174e8a44d277f09a372b6c88bd51d48a2cfbd5
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.21.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (es, gu)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.21/gnome-shell-extensions-3.21.90.tar.xz
(331K)
  sha256sum:
c5517642980362aaca24872b73a9a53e3db0a909659bcc024d8030b3c04ea797
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.21.4

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Fix entries from non-standard AppDir directories


Download

https://download.gnome.org/sources/gnome-shell-extensions/3.21/gnome-shell-extensions-3.21.4.tar.xz
(232K)
  sha256sum:
d8caef862a593ce062e90184ed317807c73a9c014b8a3e024828176b679fdd19
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.21.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* adjust to gnome-shell changes
* updated translations (oc)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.21/gnome-shell-extensions-3.21.3.tar.xz
(231K)
  sha256sum:
f61bb5a099f5373023b2e322fc73c0b79c99ca9ca35c22f36e1532ee37bdefc3
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.21.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* version bump, nothing to see here



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.21/gnome-shell-extensions-3.21.2.tar.xz
(231K)
  sha256sum:
a5ae312a1ae107f9fd195b8e2e455d1a70f111548e00ab62ea15e2c2b7f1aa82
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.20.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* update classic style
* updated translations (gd, oc)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.20/gnome-shell-extensions-3.20.1.tar.xz
(231K)
  sha256sum:
bc432ec163c79794331290d7a9321bee184be077d348faf3b7a1639b672939a3
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.20.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* version bump, nothing to see here



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.20/gnome-shell-extensions-3.20.0.tar.xz
(231K)
  sha256sum:
cc97e8627245038821c9f61e684a56c4dfc08c5f86e38d7a6750da0fc40acc87
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* version bump, nothing to see here



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.92.tar.xz
(231K)
  sha256sum:
99d8d2c00238f14f6b81259138720954e7724a1a1cdc46950eeb896bcf87a1b3
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (oc)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.91.tar.xz
(231K)
  sha256sum:
6f648db3724acc16106b1a2e4c89384e5cd6e614d41b731486c3036fed540e24
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.18.4

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Ignore .desktop entries from legacy dirs



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.18/gnome-shell-extensions-3.18.4.tar.xz
(229K)
  sha256sum:
8ae470f894aad914a56d447e3b07dc99e2f36c30ef3ec386f6f03f619599b73a
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* version bump, nothing to see here



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.90.tar.xz
(231K)
  sha256sum:
1948fc4b96835626b56b8673bcaa51fa7a2e0696160f32a21789d6caf7b4a78c
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.4

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* screenshot-window-sizer: HiDPI support
* Fix gnome-shell component in classic session
* updated translations (lt)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.4.tar.xz
(231K)
  sha256sum:
17e319c8beeea84461c5b6f65681d967d8a5c18fcd857ad2461c9b57aa948f92
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.18.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* apps-menu: Fix .desktop entries in subdirectories



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.18/gnome-shell-extensions-3.18.3.tar.xz
(228K)
  sha256sum:
2bb3726decf14a31ae35755c049d8f03425231857c42ed27f01854af755ec035
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.3

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* native-window-placement: Don't let border overlap title
* apps-menu: Fix handling of .desktop files in subdirectories
* updated translations (is)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.3.tar.xz
(230K)
  sha256sum:
6927273adfb0fb58370e330d023a8db7fafb38ca66b376774b70d364c0201dbd
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (gd)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.2.tar.xz
(230K)
  sha256sum: 4c038fe7b1118e6f59d85f2fb3dc3a38b247deab000cc8d9e9a2b363fba9407c
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.18.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Fix classic style issues



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.18/gnome-shell-extensions-3.18.2.tar.xz
(228K)
  sha256sum: cc514ffc896ed8c04853a89cb8e97058f9d5518313becf7c92aea5210b8adf61
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.19.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Fix some theme issues



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.19/gnome-shell-extensions-3.19.1.tar.xz
(228K)
  sha256sum: 86133c90647e059ff238d5c9c25fb36ed5ab552e25d3ff2b51b774c12de9ae45
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.18.1

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list: Fix accessibility of window buttons
* apps-menu: Fix unreliable highlight
* updated translations (ar)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.18/gnome-shell-extensions-3.18.1.tar.xz
(226K)
  sha256sum: 7a7535420c0c808d28b5912ed42cfb221930010193083f2d8a7719ea1ffa1cc2
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.18.0

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* Bump version



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.18/gnome-shell-extensions-3.18.0.tar.xz
(225K)
  sha256sum: a5fb88004b021e4a16f4fa5eb3d7d6f0903db1288023c18c0f9825152fa0f5f7
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.17.92

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* places: Include DESKTOP when desktop icons are enabled
* updated translations (fa)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.17/gnome-shell-extensions-3.17.92.tar.xz
(225K)
  sha256sum: 67b4147083bbe8d2b9ef68e1580a7adf62db59f697d28ad42243562012915d27
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.17.91

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (nl, pl, zh_TW)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.17/gnome-shell-extensions-3.17.91.tar.xz
(225K)
  sha256sum:
f7b60af75e06aaf3f1aaf2d72c4ef36e5ac7306fe88243f172258b4a3094b722
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.17.90

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* window-list: Improve application ordering
* workspace-indicator: Use consistent workspace numbering



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.17/gnome-shell-extensions-3.17.90.tar.xz
(225K)
  sha256sum:
4e877f9d44535b87d079717f59cc82873ccd69be280d04ad1f502b4c0c1cba49
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.17.4

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (fur)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.17/gnome-shell-extensions-3.17.4.tar.xz
(226K)
  sha256sum:
39c514de2b779d1027e6cc1a36b3d34c97f47d07ad2bdd0b4eef26847e2b6fdc
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell extensions 3.17.2

[Florian Müllner]

About gnome-shell-extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News


* updated translations (oc, pt, zh_CN)



Download

https://download.gnome.org/sources/gnome-shell-extensions/3.17/gnome-shell-extensions-3.17.2.tar.xz
(226K)
  sha256sum:
27c9a2118d151bae34eaea47cc3adddc6faff3ef4c77b1e11e823e76f32fd990
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: gnome-shell extensions, change ownership

[Siôn Le Roux]

Thanks for the quick action, it works. I suppose this must be a rather
unusual case. I'll stay and lurk around on this list in the hope of
learning something.

Siôn

On Mon Jan 12 2015 at 22:31:49 Florian Müllner  wrote:

> On Mon, Jan 12, 2015 at 9:06 PM, Siôn Le Roux 
> wrote:
> > There's a gnome-shell plugin at
> > https://extensions.gnome.org/extension/519/messaging-menu/ of which I
> am a
> > maintainer on GitHub. Although we've still pushed updates to it, it
> hasn't
> > received updates on extensions.gnome.org for a few months now and I've
> just
> > been given the news that the original author has tragically passed away.
>
> This is sad. Given that you do have commit access upstream, I don't
> see a reason for not reassigning the extension. You should be able to
> upload newer versions now.
>
>
> Florian
>
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: gnome-shell extensions, change ownership

[Florian Müllner]

On Mon, Jan 12, 2015 at 9:06 PM, Siôn Le Roux  wrote:
> There's a gnome-shell plugin at
> https://extensions.gnome.org/extension/519/messaging-menu/ of which I am a
> maintainer on GitHub. Although we've still pushed updates to it, it hasn't
> received updates on extensions.gnome.org for a few months now and I've just
> been given the news that the original author has tragically passed away.

This is sad. Given that you do have commit access upstream, I don't
see a reason for not reassigning the extension. You should be able to
upload newer versions now.


Florian
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

gnome-shell extensions, change ownership

[Siôn Le Roux]

Hi all

I've just joined the list to ask this question and haven't followed it
until now. I'm fairly certain my question won't fit the usual discussion
that happens here but this seemed like the least inappropriate place to ask
from those I could find.

There's a gnome-shell plugin at
https://extensions.gnome.org/extension/519/messaging-menu/ of which I am a
maintainer on GitHub. Although we've still pushed updates to it, it hasn't
received updates on extensions.gnome.org for a few months now and I've just
been given the news that the original author has tragically passed away.
Who do I ask to re-assign ownership of the plugin to myself or take it down
so that I can re-upload it updated and people can continue to use it from
the Gnome Shell Extensions site.

Thanks in advance for your help.
Siôn
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

GNOME Shell Extensions 3.10.0

[Giovanni Campagna]

GNOME Shell Extensions 3.10.0 is now available at:

http://ftp.gnome.org/pub/GNOME/sources/gnome-shell-extensions/3.10
8b56db464530da3cb9450177346874aaa07b14d1d4233d5f620aa3a2fc779595
gnome-shell-extensions-3.10.0.tar.xz

About GNOME Shell Extensions


GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. It also includes
the GNOME Classic Mode, which is a set of extensions designed to
recreate the appearance and workflow of GNOME 2.
All extensions can be installed through the package, or at
https://extensions.gnome.org with a compatible browser.

Changes since 3.8.0
===

* alternative-status-menu and xrandr-indicator have been removed,
after they became incompatible with the new GNOME Shell developments
* Some classic-mode mini extensions were replaced with declarative
overrides in the classic mode json file
* All extension have been upgraded to work with the current gnome-shell

Contributors:
Allan Day, Debarshi Ray, Emmanuele Bassi, Florian Müllner, Frédéric
Péters, Jakub Steiner, Jeremy Bicha, Jiro Matsuzawa, Matthias Clasen,
Priit Laes, Rui Matos, Wepmaschda

Translators:
Alexandre Franke, Andika Triwidada, Anish A, A S Alam, Ask H. Larsen,
Aurimas Černius, Baurzhan Muftakhidinov, Benjamin Steinwender,
Changwoo Ryu, Chao-Hsiung Liao, Daniel Korostil, Daniel Mustieles,
Dimitris Spingos, Dmitriy S. Seregin, Dušan Kazik, Enrico Nicoletto,
Fabio Tomat, Fernando Carvalho, Fran Diéguez, Gabor Kelemen, Inaki
Larranaga Murgoitio, Jorge Pérez Pérez, Kenneth Nielsen, Khaled Hosny,
Kjartan Maraas, Kris Thomsen, Marek Černocký, Matej Urbančič, Mattias
Põldaru, Milo Casagrande, Nguyễn Thái Ngọc Duy, Nilamdyuti Goswami,
Nishio Futoshi, Peter Mráz, Petr Kovar, Piotr Drąg, Rafael Ferreira,
Reinout van Schouwen, Rūdolfs Mazurs, sanad, Shantha kumar, Stas
Solovey, Sweta Kothari, Timo Jyrinki, Trần Ngọc Quân, tuhaihe, Victor
Ibragimov, victory, Yaron Shahrabani, Yosef Or Boczko, Yuri Myasoedov,
Милош Поповић, Мирослав Николић
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Mark Blakeney]

On Wed, 22 Aug 2012 16:43:47 -0700, Jonathan Wilkes wrote:
> It's good to hear that after a year the Gnome design team has been
> able to come to the same conclusion that nearly every reviewer, user,
> commenter, and grandmother did after seeing the Gnome 3 interface the
> first week it was out.
> 
> Congratulations on discovering a discoverable "Power Off" menu item.

Yes, but they are now introducing an "undiscoverable" suspend menu
item. Head slap!

PS: I love the beautifully simple design of gnome shell and promote it
everywhere but this one issue has always flabbergasted me. Alternative
status menu has always been the one and only essential shell extension.

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Jonathan Wilkes]

- Original Message -
> From: Florian Müllner 
> To: Diego Fernandez 
> Cc: gnome-shell-list@gnome.org
> Sent: Wednesday, August 22, 2012 12:04 PM
> Subject: Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!
> 
> On Wed, Aug 22, 2012 at 5:21 PM, Diego Fernandez
>  wrote:
>> I am definitely on the "need to have all 3 options" camp, but I 
> can
>> see some sense in the other argument.  I still, however, cannot
>> understand how a user can be left at only guessing how to even turn
>> off their computer. [...]
> 
> The option has been "flipped" in 3.6, e.g. it will be "Power 
> Off" by
> default and "Suspend" when pressing alt. The main reasoning for the
> change was that suspend is more common on laptops, where closing the
> lid is the more natural way to trigger suspend; the design page[0]
> should have more details.

It's good to hear that after a year the Gnome design team has been able to
come to the same conclusion that nearly every reviewer, user, commenter, and
grandmother did after seeing the Gnome 3 interface the first week it was out.

Congratulations on discovering a discoverable "Power Off" menu item.

-Jonathan


> 
> 
> Regards,
> Florian
> 
> [0] 
> https://live.gnome.org/GnomeOS/Design/Whiteboards/SystemStopRestart#Design_Updates
> ___
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
>

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Diego Fernandez]

On Wed, Aug 22, 2012 at 12:04 PM, Florian Müllner  wrote:
> On Wed, Aug 22, 2012 at 5:21 PM, Diego Fernandez
>  wrote:
>> I am definitely on the "need to have all 3 options" camp, but I can
>> see some sense in the other argument.  I still, however, cannot
>> understand how a user can be left at only guessing how to even turn
>> off their computer. [...]
>
> The option has been "flipped" in 3.6, e.g. it will be "Power Off" by
> default and "Suspend" when pressing alt. The main reasoning for the
> change was that suspend is more common on laptops, where closing the
> lid is the more natural way to trigger suspend; the design page[0]
> should have more details.
>
>

+1 Awesome! Gnome just keeps getting better :-D Looking forward to 3.6

Also looking for the day when an extension can get me grid static
desktops, and then I'll be the happiest man on earth haha.

Thanks again to all the devs and designers.

> Regards,
> Florian
>
> [0] 
> https://live.gnome.org/GnomeOS/Design/Whiteboards/SystemStopRestart#Design_Updates



-- 
Diego Fernandez - 爱国
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Rovanion Luckey]

2012/8/22 Jonathan Wilkes 

> To turn off the computer takes (let's say) 20 seconds.  To turn it on takes
> (say) 40 seconds.  Entering/leaving suspend mode takes (say) 7.5 seconds.
> So the questions are: how much time in suspend mode is equal to the power
> used by 45 seconds of running my laptop at normal power, and is that time
> less
> than or greater than the average amount of time I'm leaving my computer in
> suspend mode?
>

If you want to try this out for yourself it's really really easy. Buy a
wattmeter and measure how much power your computer draws when hibernating
or powering off and multiply that by the time it took. Then measure how
much power your computer consumes while suspending, multiply that by the
time, and then measure the amount of power it draws while suspended.

Then draw a simple graph with the power as a function of time and you'll
see when suspend line crosses the horizontal power off/hibernate line.

For me it's enough to know that my laptop tends to die while suspended
meanwhile I always can shut down and boot up again at the auto suspend
percentage of battery.
-- 
www.twitter.com/Rovanion
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Jonathan Wilkes]

- Original Message -
> From: Clemens 
> To: Jonathan Wilkes 
> Cc: "awill...@whitemice.org" ; 
> "gnome-shell-list@gnome.org" 
> Sent: Wednesday, August 22, 2012 7:05 AM
> Subject: Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!
> 
> Am Mi 22 Aug 2012 12:57:12 CEST schrieb Jonathan Wilkes:
>> 
>> 
>> 
>> 
>>  - Original Message -
>>>  From: Adam  Tauno Williams 
>>>  To: gnome-shell-list@gnome.org
>>>  Cc:
>>>  Sent: Wednesday, August 22, 2012 6:23 AM
>>>  Subject: Re: Gnome Shell Extensions isn't shipped with Gnome Shell, 
> WHY?!
>>> 
>>>  On Tue, 2012-08-21 at 19:12 +0200, Florian Scandella wrote:
>>>>    I like how gnome uses
>>>>    (and drives) development of freedesktop standards instead of 
> reinventing
>>>>    everything and hacking arount short term limitations.
>>> 
>>>  +1
>>> 
>>>>    So while i'm happy with gnome-shell, i'm all for 
> integrating some
>>>  of the
>>>>    most used extensions into the core, with an option to 
> enable/disable them.
>>> 
>>>  I disagree,  core should remain thin so people can easily go in 
> whatever
>>>  direction they want.  Verses the old first-I-go-remove-all-this-crap.
>> 
>>  How much "thicker" does the core get by having a restart menu 
> item in the
>>  status menu?
>> 
>>  -Jonathan
>> 
>>> 
>>>  Note that distributions can bundle and enable whatever extensions they
>>>  want.  openSUSE packages several.  And distribution packages of GNOME
>>>  are what end-users actually install and use.
>>> 
>>> 
>>>  ___
>>>  gnome-shell-list mailing list
>>>  gnome-shell-list@gnome.org
>>>  https://mail.gnome.org/mailman/listinfo/gnome-shell-list
>>> 
>>  ___
>>  gnome-shell-list mailing list
>>  gnome-shell-list@gnome.org
>>  https://mail.gnome.org/mailman/listinfo/gnome-shell-list
> 
> As far is i know, the poweroff/reboot buttons were removed/are hidden 
> because
> suspend is a) more efficient (time + powerconsumption)

To turn off the computer takes (let's say) 20 seconds.  To turn it on takes
(say) 40 seconds.  Entering/leaving suspend mode takes (say) 7.5 seconds.
So the questions are: how much time in suspend mode is equal to the power
used by 45 seconds of running my laptop at normal power, and is that time less
than or greater than the average amount of time I'm leaving my computer in
suspend mode?

Looking forward to reading your citation on this one.

-Jonathan

> b) many people 
> only use
> suspend and never poweroff there macine c) suspend is working an nearly 
> all devices
> 
> (most of the time a shutdown my notebook using a terminal )
> 
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Florian Müllner]

On Wed, Aug 22, 2012 at 5:21 PM, Diego Fernandez
 wrote:
> I am definitely on the "need to have all 3 options" camp, but I can
> see some sense in the other argument.  I still, however, cannot
> understand how a user can be left at only guessing how to even turn
> off their computer. [...]

The option has been "flipped" in 3.6, e.g. it will be "Power Off" by
default and "Suspend" when pressing alt. The main reasoning for the
change was that suspend is more common on laptops, where closing the
lid is the more natural way to trigger suspend; the design page[0]
should have more details.


Regards,
Florian

[0] 
https://live.gnome.org/GnomeOS/Design/Whiteboards/SystemStopRestart#Design_Updates
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Diego Fernandez]

Hmm.. now that the good ol' Hibernate/Power/Suspend thing gets brought
back up have they done anything to actually let people know you
can press Alt to get those options?

I am definitely on the "need to have all 3 options" camp, but I can
see some sense in the other argument.  I still, however, cannot
understand how a user can be left at only guessing how to even turn
off their computer.  I mean, let's say first time you boot up Linux,
it's on a LiveCD (which is an EXTREMELY likely scenario).  You play
around, decide you like it, and then go to turn off your system...
SURPRISE! no option for it... what kind of image does that give you?

Don't get me wrong, I LOVE Gnome 3.  I've been using it since beta and
am quite happy with it.  But there are 3 MAJOR flaws with it, and I
will continue to argue those any time an opportunity arises (in hope
that somehow someone might realize the problems and fix them, or at
least deal with them somehow).

1. Hiding ESSENTIAL functions of the system from the user without
informing them how to access them.
2. Workspace management.  (Displaying windows from other desktops in
Alt+Tab defeats the purpose, dynamic workspaces make it harder to
remember what's in each desktop, vertical stack makes it really slow
to move between them when you have 5+)
3. Application centered.  (Goes against the whole principle of staying
on task.  If I have different windows of the same application open,
it's because they're being used for different tasks.  Having to alt+`
to switch between windows and alt+tab to switch between apps just
doesn't make ANY sense to me.)

Now, this is strictly talking about a vanilla Gnome experience, and
since I now know everything I do about Gnome 1 and 3 don't affect me.
Unfortunately 2 I still have to deal with.  Even if I use one of those
extensions for static desktops, it's not anywhere near the same as the
grid system.

And for new users, I think 1 is crucial... I had a friend who tried
Linux, and he called me flipping out because he couldn't turn off his
computer.

On Wed, Aug 22, 2012 at 8:39 AM, Florian Scandella  wrote:
> On 22/08/12 12:28, Adam Tauno Williams wrote:
>> On Tue, 2012-08-21 at 19:59 +0200, Clemens wrote:
>>
>>
>>> Not everybody wants to have a dock to launch application. I have never
>>> used the "dock" inside the overview or dash and in the 2 days i was
>>>  using that the dock was the most annoying thing.
>>> imho alt + f2 is much faster than using the mouse and click. I have
>>> only one extension
>>
>> Yep, count me as one.  I just can't see the purpose for a dock or
>> advanced dock.  I use the GNOME3 activity 'toolbar' (I suppose it is a
>> kind of dock) a few times when I first login [so that is a few times a
>> day].  But once work is underway it is all Alt+F1..a-few-keystrokes or
>> the GNOME Activity Journal - or else just Alt-Tab / Alt-`.
>>
>> The notion that people are constantly starting applications honestly
>> baffles me.  Starting an application happens once a day, if that (less
>> often if your hardware correctly supports suspend/hibernate).
>>
>
> Docky is more than a simple quickstartbar. Sure it's nice to start my
> favorite apps with one click, but i also like the simple way of
> switching to an app with one click or switching through the apps windows
> with the mouse wheel.
> Identifing the app i want to use through the apps icon (which are more
> an less at the same spatial position) is much easier for me than
> switching to the overview and searching my two monitors for the
> rectangle which could be my app. The same goes for alt-tab, it searching
> versus just clicking on the icon.
> I don't even use the 'advanced' gadgets.
>
> I'm not saying gnome-shell needs a builtin dock, but for me, i can't
> imagine working without it (and i tried).
>
>
>
>>
>> ___
>> gnome-shell-list mailing list
>> gnome-shell-list@gnome.org
>> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
>
> ___
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list



-- 
Diego Fernandez - 爱国
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Florian Scandella]

On 22/08/12 12:28, Adam Tauno Williams wrote:
> On Tue, 2012-08-21 at 19:59 +0200, Clemens wrote:
>
>
>> Not everybody wants to have a dock to launch application. I have never
>> used the "dock" inside the overview or dash and in the 2 days i was
>>  using that the dock was the most annoying thing. 
>> imho alt + f2 is much faster than using the mouse and click. I have
>> only one extension
>
> Yep, count me as one.  I just can't see the purpose for a dock or
> advanced dock.  I use the GNOME3 activity 'toolbar' (I suppose it is a
> kind of dock) a few times when I first login [so that is a few times a
> day].  But once work is underway it is all Alt+F1..a-few-keystrokes or
> the GNOME Activity Journal - or else just Alt-Tab / Alt-`.  
>
> The notion that people are constantly starting applications honestly
> baffles me.  Starting an application happens once a day, if that (less
> often if your hardware correctly supports suspend/hibernate).
>

Docky is more than a simple quickstartbar. Sure it's nice to start my
favorite apps with one click, but i also like the simple way of
switching to an app with one click or switching through the apps windows
with the mouse wheel.
Identifing the app i want to use through the apps icon (which are more
an less at the same spatial position) is much easier for me than
switching to the overview and searching my two monitors for the
rectangle which could be my app. The same goes for alt-tab, it searching
versus just clicking on the icon.
I don't even use the 'advanced' gadgets.

I'm not saying gnome-shell needs a builtin dock, but for me, i can't
imagine working without it (and i tried).



>
> ___
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Adam Tauno Williams]

On Wed, 2012-08-22 at 13:05 +0200, Clemens wrote:
> >> I disagree,  core should remain thin so people can easily go in whatever
> >> direction they want.  Verses the old first-I-go-remove-all-this-crap.
> > How much "thicker" does the core get by having a restart menu item in the
> > status menu?

This is an argument against the concept with an instance.

Having a restart menu item is considerably different than many of the
things people propose should 'be included'. 

I use, and cannot [on a existential and metaphysical level] understand
why most people do not use the Zeitgeist Journal and Tracker
integration. Come on! It is all upside!  but a lot of [crazy,
IMNSHO] people do not.  But that this considerably complex feature is
not included by default doesn't bother me at all.  I just install the
extension - then I get work done.

And retrofitting GNOME3 [core] with features to make it more like GNOME2
[or windows XP/95] doesn't make sense to me either.  GNOME3 is an
attempt to make a different, and better, user experience.  I don't
retrofit my 2011 Prius Hybrid with a reverse foot-pedal because I
learned to drive on an 1919 Model-T Ford [which I did, and it is
confusing at first - but four wheel anti-lock disc brakes are awesome].
Both vehicles are what they are.

> As far is i know, the poweroff/reboot buttons were removed/are hidden 
> because suspend is a) more efficient (time + powerconsumption) b) many people 
> only use suspend and never poweroff there macine c) suspend is working an 
> nearly 
> all devices (most of the time a shutdown my notebook using a terminal )

Yes.  This topic has been thrashed to shreds in many forums, including
here.  There is a hard-core contingent of people who rabidly despise
Suspend/Resume (for a variety of reasons);  that they have to modify
this behavior enrages them.Please let's go into that again.

I'll confess that I am in the I-suspend-resume-camp.  I reboot
less and less as time goes on.  With my last two laptops it has worked
perfectly.  And now that most applications are network aware [via the
fantastic NetworkManager] most of the sharp edges are gone.  But doing
so still does kill your SSH sessions :)



signature.asc
Description: This is a digitally signed message part
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Reiner Jung]

On 22.08.2012 13:05, Clemens wrote:
> Am Mi 22 Aug 2012 12:57:12 CEST schrieb Jonathan Wilkes:
>>
>>
>>
>>
>> - Original Message -
>>> From: Adam  Tauno Williams 
>>> To: gnome-shell-list@gnome.org
>>> Cc:
>>> Sent: Wednesday, August 22, 2012 6:23 AM
>>> Subject: Re: Gnome Shell Extensions isn't shipped with Gnome Shell,
>>> WHY?!
>>>
>>> On Tue, 2012-08-21 at 19:12 +0200, Florian Scandella wrote:
>>>>   I like how gnome uses
>>>>   (and drives) development of freedesktop standards instead of
>>>> reinventing
>>>>   everything and hacking arount short term limitations.
>>>
>>> +1
>>>
>>>>   So while i'm happy with gnome-shell, i'm all for integrating some
>>> of the
>>>>   most used extensions into the core, with an option to
>>>> enable/disable them.
>>>
>>> I disagree,  core should remain thin so people can easily go in whatever
>>> direction they want.  Verses the old first-I-go-remove-all-this-crap.
>>
>> How much "thicker" does the core get by having a restart menu item in the
>> status menu?
>>
>> -Jonathan
>>
>>>
>>> Note that distributions can bundle and enable whatever extensions they
>>> want.  openSUSE packages several.  And distribution packages of GNOME
>>> are what end-users actually install and use.
>>>
>>>
>>> ___
>>> gnome-shell-list mailing list
>>> gnome-shell-list@gnome.org
>>> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
>>>
>> ___
>> gnome-shell-list mailing list
>> gnome-shell-list@gnome.org
>> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
> 
> As far is i know, the poweroff/reboot buttons were removed/are hidden
> because
> suspend is a) more efficient (time + powerconsumption) b) many people
> only use
> suspend and never poweroff there macine c) suspend is working an nearly
> all devices
> 
> (most of the time a shutdown my notebook using a terminal )

I know that, this is the argument for hiding those options. However,
normal people need to hibernate as a convenient way so save power, when
the machine is away from a power source or the use of a power source is
not that practical. Real power off is, that is my experience, used only
on occasion (e.g. after an update).

While I would agree that that suspend option is more often used to
bridge times of not using the machine, than hibernate. I do not believe
that hibernate is less important. Suspend is useful when you switch the
device of for a couple of minutes (e.g. switching trains, getting on a
plane, moving from one office/café/class to another). The hibernate
option is good for long term switch offs (e.g. over night during a
meeting, where the machine is not needed). Beside netbooks and some
fancy expensive notebooks, most portable computers run out of power in
2-3 hours. Therefore suspend is not enough, as the machine is still
draining power.

BTW: Suspend is not a safe state, at the moment power fails, your data
is corrupted (if you do not have a hibernate/suspend combo thing, like
apple).

On a side note. I have heard the argument you mentioned above, a hundred
times, but I have never seen any reliable statistics on that matter.

Therefore giving people an easy option to choose between a suspend only
thing and a suspend, hibernate, power off menu looks to me like a fair
compromise. The primary argument to not put it in, was that then so many
people have to remove it afterwards. Well you could make that argument
the other way round as well. A lot of people have to go and install it
after first login, because there is a missing option. So he compromise
is to bundle that extension and let the user decide.

For the basic setting of the enable/disable feature button, throw a dime
and get over it.

Thanks
  Reiner

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Clemens]

Am Mi 22 Aug 2012 12:57:12 CEST schrieb Jonathan Wilkes:





- Original Message -

From: Adam  Tauno Williams 
To: gnome-shell-list@gnome.org
Cc:
Sent: Wednesday, August 22, 2012 6:23 AM
Subject: Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

On Tue, 2012-08-21 at 19:12 +0200, Florian Scandella wrote:

  I like how gnome uses
  (and drives) development of freedesktop standards instead of reinventing
  everything and hacking arount short term limitations.


+1


  So while i'm happy with gnome-shell, i'm all for integrating some

of the

  most used extensions into the core, with an option to enable/disable them.


I disagree,  core should remain thin so people can easily go in whatever
direction they want.  Verses the old first-I-go-remove-all-this-crap.


How much "thicker" does the core get by having a restart menu item in the
status menu?

-Jonathan



Note that distributions can bundle and enable whatever extensions they
want.  openSUSE packages several.  And distribution packages of GNOME
are what end-users actually install and use.


___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list


___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list


As far is i know, the poweroff/reboot buttons were removed/are hidden 
because
suspend is a) more efficient (time + powerconsumption) b) many people 
only use
suspend and never poweroff there macine c) suspend is working an nearly 
all devices


(most of the time a shutdown my notebook using a terminal )

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Jonathan Wilkes]

- Original Message -
> From: Adam  Tauno Williams 
> To: gnome-shell-list@gnome.org
> Cc: 
> Sent: Wednesday, August 22, 2012 6:23 AM
> Subject: Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!
> 
> On Tue, 2012-08-21 at 19:12 +0200, Florian Scandella wrote:
>>  I like how gnome uses 
>>  (and drives) development of freedesktop standards instead of reinventing 
>>  everything and hacking arount short term limitations.
> 
> +1
> 
>>  So while i'm happy with gnome-shell, i'm all for integrating some 
> of the 
>>  most used extensions into the core, with an option to enable/disable them.
> 
> I disagree,  core should remain thin so people can easily go in whatever
> direction they want.  Verses the old first-I-go-remove-all-this-crap.  

How much "thicker" does the core get by having a restart menu item in the
status menu?

-Jonathan

> 
> Note that distributions can bundle and enable whatever extensions they
> want.  openSUSE packages several.  And distribution packages of GNOME
> are what end-users actually install and use.
> 
> 
> ___
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
> 
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Adam Tauno Williams]

On Tue, 2012-08-21 at 19:59 +0200, Clemens wrote:


> Not everybody wants to have a dock to launch application. I have never
> used the "dock" inside the overview or dash and in the 2 days i was
>  using that the dock was the most annoying thing. 
> imho alt + f2 is much faster than using the mouse and click. I have
> only one extension


Yep, count me as one.  I just can't see the purpose for a dock or
advanced dock.  I use the GNOME3 activity 'toolbar' (I suppose it is a
kind of dock) a few times when I first login [so that is a few times a
day].  But once work is underway it is all Alt+F1..a-few-keystrokes or
the GNOME Activity Journal - or else just Alt-Tab / Alt-`.  

The notion that people are constantly starting applications honestly
baffles me.  Starting an application happens once a day, if that (less
often if your hardware correctly supports suspend/hibernate).


signature.asc
Description: This is a digitally signed message part
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Adam Tauno Williams]

On Tue, 2012-08-21 at 19:12 +0200, Florian Scandella wrote:
> I like how gnome uses 
> (and drives) development of freedesktop standards instead of reinventing 
> everything and hacking arount short term limitations.

+1

> So while i'm happy with gnome-shell, i'm all for integrating some of the 
> most used extensions into the core, with an option to enable/disable them.

I disagree,  core should remain thin so people can easily go in whatever
direction they want.  Verses the old first-I-go-remove-all-this-crap.  

Note that distributions can bundle and enable whatever extensions they
want.  openSUSE packages several.  And distribution packages of GNOME
are what end-users actually install and use.



signature.asc
Description: This is a digitally signed message part
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Adam Tauno Williams]

On Tue, 2012-08-21 at 18:40 +0200, Pascal Obry wrote:
> Lot of people are complaining about gnome-shell, fine. But people loving
> it should also say it...

I love it.

>  So just to say that I really like gnome-shell
> and after some weeks of use I just wasn't able to go back.

Ditto.


>  I'm using gnome-shell with GNU/Dedian since more than one years

openSUSE 12.1 x86_64

> Now I think my productivity is better. The desktop looks clean and with
> the help of some extensions (Dash to dock, All in one places, Web
> search) I'm more than really happy!

Tracker and Zeitgeist Journal integration.  I finally have what
Dashboard and Beagle promised almost a decade ago.  

Alt+F1,  a few keystrokes, *BAM* there is all my stuff!!! @&^&*@$%*&
AWESOME.

>  I'm sure 3.6 will be even better!

No Doubt.

> The key point is *adapt*, people not wanting to adapt will stay with
> other shells, and new comers will probably love gnome-shell, it is not
> possible to please everybody!

People are used to things changing all the time.  Web developers redisgn
their websites and web applications constantly [very frequently for the
worse] and users adapt.

> Keep up the great work and thanks to the dev team!

+1


signature.asc
Description: This is a digitally signed message part
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Clemens]

Am 21.08.2012 19:28, schrieb Sriram Ramkrishna:



On Tue, Aug 21, 2012 at 10:12 AM, Florian Scandella > wrote:



I too like how gnome-shell works. I like the clean desktop, how
you start applications and how the notifications work. I like how
gnome uses (and drives) development of freedesktop standards
instead of reinventing everything and hacking arount short term
limitations.



It's great that see people have a positive experience with gnome 
shell.  Thank you for this.


BUT, i really could not use it if it wheren't for docky. I really
don't like how the window navigation works and that there is no
easy accessible quickstart on the desktop (without extension, and
even then docky is much bette) for apps i use often.
Also, more builtin configuration options would be nice, like the
theme selection, session-properties, 



There is nothing wrong with using another external app if something 
doesn't work right for you.  I occasionally use docky myself to 
quickly run apps.  For instance, docky has support for ssh, so I can 
easily to ssh's to other machines.


I don't expect gnome-shell to address every work flow out there, 
that's why we have third party utilities.


sri

notification filtering, etc.
One thing that's bugging me is this:
https://bugzilla.gnome.org/show_bug.cgi?id=664331 , but it's not
that big of a problem.
So while i'm happy with gnome-shell, i'm all for integrating some
of the most used extensions into the core, with an option to
enable/disable them.



On 21.08.2012 18 :40, Pascal Obry wrote:

Lot of people are complaining about gnome-shell, fine. But
people loving
it should also say it... So just to say that I really like
gnome-shell
and after some weeks of use I just wasn't able to go back. I'm
using
gnome-shell with GNU/Dedian since more than one years (I was
using the
first version appearing in experimental, yes there was some
issues at
this stage!).

Now I think my productivity is better. The desktop looks clean
and with
the help of some extensions (Dash to dock, All in one places, Web
search) I'm more than really happy!

Changing everything in the shell area was a big challenge and
it needs
time to *adapt* to this new desktop. I'm sure 3.6 will be even
better!

The key point is *adapt*, people not wanting to adapt will
stay with
other shells, and new comers will probably love gnome-shell,
it is not
possible to please everybody!

Keep up the great work and thanks to the dev team!

Pascal.


___
gnome-shell-list mailing list
gnome-shell-list@gnome.org 
https://mail.gnome.org/mailman/listinfo/gnome-shell-list




___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list




*1. Ship Gnome Shell with the Dash to Dock extension and a hack to add
minimize and maximize*, so people won't have problems.


Not everybody wants to have a dock to launch application. I have never 
used the
"dock" inside the overview or dash and in the 2 days i was using that 
the dock

was the most annoying thing.
imho alt + f2 is much faster than using the mouse and click. I have only 
one extension

that changes the "look and feel" of the shell: Auto hide topbar.
Moving between windows with alt + tab and placing them on different 
workspaces is everything

i need. *

*Adding minimize/maximize buttons to the shell is quite easy:
  http://lmgtfy.com/?q=gnome+shell+minimize

again, i thing you are faster if you use settings - keyboard - minimize 
window and set

it to what every you want.*

2. Put a launcher "Change Gnome Now" to http://extensions.gnome.org/
in desktop*, so people'll click it for solutions.

A small "Getting Started" with some information about the tweak tool and 
the extensions

would be really nice.


Thanks to the gnome team for there excellent work!
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Sriram Ramkrishna]

On Tue, Aug 21, 2012 at 10:12 AM, Florian Scandella wrote:

>
> I too like how gnome-shell works. I like the clean desktop, how you start
> applications and how the notifications work. I like how gnome uses (and
> drives) development of freedesktop standards instead of reinventing
> everything and hacking arount short term limitations.
>


It's great that see people have a positive experience with gnome shell.
Thank you for this.


> BUT, i really could not use it if it wheren't for docky. I really don't
> like how the window navigation works and that there is no easy accessible
> quickstart on the desktop (without extension, and even then docky is much
> bette) for apps i use often.
> Also, more builtin configuration options would be nice, like the theme
> selection, session-properties,


There is nothing wrong with using another external app if something doesn't
work right for you.  I occasionally use docky myself to quickly run apps.
For instance, docky has support for ssh, so I can easily to ssh's to other
machines.

I don't expect gnome-shell to address every work flow out there, that's why
we have third party utilities.

sri


> notification filtering, etc.
> One thing that's bugging me is this: https://bugzilla.gnome.org/**
> show_bug.cgi?id=664331 , 
> but it's not that big of a problem.
> So while i'm happy with gnome-shell, i'm all for integrating some of the
> most used extensions into the core, with an option to enable/disable them.
>
>
>
> On 21.08.2012 18:40, Pascal Obry wrote:
>
>> Lot of people are complaining about gnome-shell, fine. But people loving
>> it should also say it... So just to say that I really like gnome-shell
>> and after some weeks of use I just wasn't able to go back. I'm using
>> gnome-shell with GNU/Dedian since more than one years (I was using the
>> first version appearing in experimental, yes there was some issues at
>> this stage!).
>>
>> Now I think my productivity is better. The desktop looks clean and with
>> the help of some extensions (Dash to dock, All in one places, Web
>> search) I'm more than really happy!
>>
>> Changing everything in the shell area was a big challenge and it needs
>> time to *adapt* to this new desktop. I'm sure 3.6 will be even better!
>>
>> The key point is *adapt*, people not wanting to adapt will stay with
>> other shells, and new comers will probably love gnome-shell, it is not
>> possible to please everybody!
>>
>> Keep up the great work and thanks to the dev team!
>>
>> Pascal.
>>
>>
> __**_
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/**mailman/listinfo/gnome-shell-**list
>
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Florian Scandella]

I too like how gnome-shell works. I like the clean desktop, how you 
start applications and how the notifications work. I like how gnome uses 
(and drives) development of freedesktop standards instead of reinventing 
everything and hacking arount short term limitations.
BUT, i really could not use it if it wheren't for docky. I really don't 
like how the window navigation works and that there is no easy 
accessible quickstart on the desktop (without extension, and even then 
docky is much bette) for apps i use often.
Also, more builtin configuration options would be nice, like the theme 
selection, session-properties, notification filtering, etc.
One thing that's bugging me is this: 
https://bugzilla.gnome.org/show_bug.cgi?id=664331 , but it's not that 
big of a problem.
So while i'm happy with gnome-shell, i'm all for integrating some of the 
most used extensions into the core, with an option to enable/disable them.



On 21.08.2012 18:40, Pascal Obry wrote:

Lot of people are complaining about gnome-shell, fine. But people loving
it should also say it... So just to say that I really like gnome-shell
and after some weeks of use I just wasn't able to go back. I'm using
gnome-shell with GNU/Dedian since more than one years (I was using the
first version appearing in experimental, yes there was some issues at
this stage!).

Now I think my productivity is better. The desktop looks clean and with
the help of some extensions (Dash to dock, All in one places, Web
search) I'm more than really happy!

Changing everything in the shell area was a big challenge and it needs
time to *adapt* to this new desktop. I'm sure 3.6 will be even better!

The key point is *adapt*, people not wanting to adapt will stay with
other shells, and new comers will probably love gnome-shell, it is not
possible to please everybody!

Keep up the great work and thanks to the dev team!

Pascal.



___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Pascal Obry]

Lot of people are complaining about gnome-shell, fine. But people loving
it should also say it... So just to say that I really like gnome-shell
and after some weeks of use I just wasn't able to go back. I'm using
gnome-shell with GNU/Dedian since more than one years (I was using the
first version appearing in experimental, yes there was some issues at
this stage!).

Now I think my productivity is better. The desktop looks clean and with
the help of some extensions (Dash to dock, All in one places, Web
search) I'm more than really happy!

Changing everything in the shell area was a big challenge and it needs
time to *adapt* to this new desktop. I'm sure 3.6 will be even better!

The key point is *adapt*, people not wanting to adapt will stay with
other shells, and new comers will probably love gnome-shell, it is not
possible to please everybody!

Keep up the great work and thanks to the dev team!

Pascal.

-- 

--|--
--| Pascal Obry   Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|--
--|http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: Gnome Shell Extensions isn't shipped with Gnome Shell, WHY?!

[Sriram Ramkrishna]

On Tue, Aug 21, 2012 at 8:31 AM, Pedro Bessa  wrote:

>  Hi,
>
>
>
>
Hi there!  Thanks for the suggestions.  There are some short term issues
with people adjusting to GNOME shell but I think the experience is going to
improve vastly in 3.6.

I think there is an underlying debate on whether you want to make changes
up front and in your place or slowly make the conversion by putting
familiar UI components and then slowly removing them over time.

I don't know what the right way to go about it since this hasn't been done
quite this way before.

I like your idea of showing off extensions some how, but I don't think
having a launcher on the desktop is the best way as it conflicts with the
distraction free computing by adding clutter to the desktop root window.

Still interesting stuff.

sri



> There are two things you can do:
>
> *1. Ship Gnome Shell with the Dash to Dock extension and a hack to add
> minimize and maximize*, so people won't have problems.
>
>


> *2. Put a launcher "Change Gnome Now" to http://extensions.gnome.org/
> in desktop*, so people'll click it for solutions.
>
> Best regards,
> Pedro Bessa
>
> ___
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
>
>
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list