GNOME Shell Extensions 3.37.3

2020-07-07 Thread Florian Müllner
. 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

GNOME Shell 3.36.4

2020-07-07 Thread Florian Müllner
, !1279] Contributors: Marco Trevisan (Treviño), Chingkai, Milan Crha, Jonas Dreßler, Koki Fukuda, Sebastian Keller, MOZGIII, Robert Mader, Florian Müllner, PrOF-kk, Peter Simonyi, Daniel van Vugt Translators: Matej Urbančič [sl], sicklylife [ja], Fabio Tomat [fur], Baurzhan Muftakhidinov [kk

GNOME Shell 3.37.3

2020-07-07 Thread Florian Müllner
, !1340, !1287, !1308, !1346, !1299, !1343, !1351, !1352, !1322] Contributors: Marco Trevisan (Treviño), Chingkai, Jonas Dreßler, Carlos Garnacho, Sebastian Keller, MOZGIII, Florian Müllner, Georges Basile Stavracas Neto, Mariana Picolo, Daniel van Vugt, fludixx, yun341, Jonas Ådahl

Mutter 3.36.4

2020-07-07 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be

Mutter 3.37.3

2020-07-07 Thread Florian Müllner
, !1270, !1322, !1181, !1282, !1325, !1323, !1240, !1295, !1329, !1333, !1334, !1336, !1341, #1312, !1345, !1349, !1356, #873, !1310, !1357] Contributors: Jonas Dreßler, Michel Dänzer, Olivier Fourdan, Carlos Garnacho, Peter Hutterer, Adam Jackson, Sebastian Keller, Robert Mader, Florian

GNOME Shell 3.37.2

2020-06-03 Thread Florian Müllner
oslan Khubulov, Ting-Wei Lan, Michael Lass, Alexander Mikhaylenko, Florian Müllner, Georges Basile Stavracas Neto, Bastien Nocera, PrOF-kk, Peter Simonyi Translators: Fabio Tomat [fur], Cheng-Chia Tseng [zh_TW], Yuri Chornoivan [uk], Dušan Kazik [sk], Piotr Drąg [pl], Soslan Khubulov [os],

Mutter 3.36.3

2020-06-03 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.34.6

2020-04-30 Thread Florian Müllner
] * Fixed crashes [Florian; #1083] * Plugged memory leaks [Sebastian; !1001] * Misc. bug fixes and cleanups [Pekka, Laurent; !1209, #1074] Contributors: Laurent Bigonville, Olivier Fourdan, Carlos Garnacho, Sebastian Keller, Florian Müllner, Pekka Paalanen Download https

GNOME Shell Extensions 3.36.2

2020-04-29 Thread Florian Müllner
. 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

GNOME Shell Extensions 3.37.1

2020-04-29 Thread Florian Müllner
[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

GNOME Shell 3.37.1

2020-04-29 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

GNOME Shell 3.36.2

2020-04-29 Thread Florian Müllner
Garnacho, Andre Moreira Magalhaes, Florian Müllner, Georges Basile Stavracas Neto, Jakub Steiner, Will Thompson, Jonas Ådahl Translators: Fabio Tomat [fur], Cheng-Chia Tseng [zh_TW], Danial Behzadi [fa], Jiri Grönroos [fi], Ibai Oihanguren Sala [eu], Марко Костић [sr], Rūdolfs Mazurs [lv

Mutter 3.36.2

2020-04-29 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.37.1

2020-04-29 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Re: Stopping processes in background

2020-04-02 Thread Florian Müllner
On Thu, Apr 2, 2020 at 15:46, Donato Marrazzo via gnome-shell-list wrote: Hi all, Gnome Shell notified that a process was working in background. Out of curiosity, I asked to abort the process. Then I noticed that gnome shell continues to stop that process. Small correction: Both the

GNOME Shell Extensions 3.36.1

2020-03-30 Thread 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.

GNOME Shell 3.36.1

2020-03-30 Thread Florian Müllner
ntributors: Marco Trevisan (Treviño), Michael Catanzaro, Cosimo Cecchi, Jonas Dreßler, Takao Fujiwara, Carlos Garnacho, Christian Hergert, Sebastian Keller, Reik Keutterling, Bjørn Lie, Florian Müllner, Jwtiyar Nariman, Georges Basile Stavracas Neto, Mario Sanchez Prada, Ray Strode, Jan Tojnar

GNOME Shell 3.34.5

2020-03-30 Thread Florian Müllner
[Christian; !1050] * Fix OSK layout fallback for unsupported variants [Florian; #2471] * Fix high-contrast/symbolic icon mix-up [Florian; #2414] * Misc. bug fixes and cleanups [Jonas Å., Florian; !1032, #2386] Contributors: Jonas Dreßler, Christian Hergert, Florian Müllner, Jwtiyar Nariman

Mutter 3.34.5

2020-03-30 Thread Florian Müllner
Garnacho, Robert Mader, Florian Müllner, Pekka Paalanen, Jonas Ådahl Translators: Yi-Jyun Pan [zh_TW] Download https://download.gnome.org/sources/mutter/3.34/mutter-3.34.5.tar.xz (2.67M) sha256sum: d1d149b70ed7330771f4524886b98775fce5a11cf17f9683cba151075f2879c4

Mutter 3.36.1

2020-03-30 Thread Florian Müllner
Keller, Robert Mader, Andre Moreira Magalhaes, Florian Müllner, Georges Basile Stavracas Neto, Corentin Noël, Pekka Paalanen, Christian Rauch, Mart Raudsepp, Daniel van Vugt, Alynx Zhou, Jonas Ådahl Translators: Марко Костић [sr], Daniel Șerbănescu [ro] Download https

GNOME Shell Extensions 3.36.0

2020-03-07 Thread Florian Müllner
. 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 3.36.0

2020-03-07 Thread Florian Müllner
link to location settings in aggregate menu [Sebastian; #2316] * Fix illegible app folder titles with light theme [ub; !1059] * Really fix visual glitch in sliders [Jonas; #1569] Contributors: Marco Trevisan (Treviño), Jonas Dreßler, Olivier Fourdan, Carlos Garnacho, Sebastian Keller, Florian

Mutter 3.36.0

2020-03-07 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell Extensions 3.35.92

2020-02-29 Thread 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.

Mutter 3.35.92

2020-02-29 Thread Florian Müllner
Hergert, Adam Jackson, Sebastian Keller, Robert Mader, Florian Müllner, Georges Basile Stavracas Neto, Arun Raghavan, Wim Taymans, Daniel van Vugt, worldofpeace, Jonas Ådahl Translators: Yi-Jyun Pan [zh_TW], Asier Sarasua Garmendia [eu], Rafael Fontenelle [pt_BR], Emin Tufan Çetin [tr], Daniel

GNOME Shell 3.35.92

2020-02-29 Thread Florian Müllner
rgert, Sam Hewitt, Florian Müllner, Georges Basile Stavracas Neto, Jakub Steiner, Philippe Troin, Daniel van Vugt, Jonas Ådahl Translators: Danial Behzadi [fa], Efstathios Iosifidis [el], Daniel Mustieles [es], Sabri Ünal [tr], sicklylife [ja], Piotr Drąg [pl], Jordi Mas [ca], Anders Jonsson

GNOME Shell Extensions 3.35.91

2020-02-17 Thread Florian Müllner
. 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 3.35.91

2020-02-17 Thread Florian Müllner
, !977, !1014] Contributors: Jonas Dreßler, Carlos Garnacho, Umang Jain, Daniel Mustieles, Florian Müllner, Georges Basile Stavracas Neto, Jakub Steiner, Daniel van Vugt, nana-4 Translators: Daniel Mustieles [es, pt_BR], Rafael Fontenelle [pt_BR], Danial Behzadi [fa], Anders Jonsson [sv

Mutter 3.35.91

2020-02-17 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.34.4

2020-02-16 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell 3.34.4

2020-02-16 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

Re: Keyboard interaction with notifications on lock screen

2020-02-12 Thread Florian Müllner via gnome-shell-list
On Wed, Feb 12, 2020 at 13:55, Tobias Mueller wrote: I want to ask whether notifications on the lock screen are safe from being discarded by the user. Yes. When locked, notifications can only be removed programmatically (via `org.gtk.Notifications.RemoveNotification()` or

GNOME Shell Extensions 3.35.90

2020-02-06 Thread Florian Müllner
. 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

GNOME Shell 3.35.90

2020-02-06 Thread Florian Müllner
Sam Hewitt, Sebastian Keller, Andre Klapper, Alexander Mikhaylenko, Daniel García Moreno, Florian Müllner, Georges Basile Stavracas Neto, Jakub Steiner, Daniel van Vugt, nana-4 Translators: Asier Sarasua Garmendia [eu], Daniel Mustieles [es], Andrej Shadura [sk], Carmen Bianca BAKKER [eo], S

Fwd: mutter 3.35.90

2020-02-06 Thread Florian Müllner
, Corentin, Sebastian, Robert, Daniel; #385, !998, !1007, !995, !1016, !1018, !1017, !1005, !1019, !1025, !1028, !1029, !1031, !1015, !1032, !1034, #1025] Contributors: Björn Daase, Jonas Dreßler, Olivier Fourdan, Carlos Garnacho, Adam Jackson, Sebastian Keller, Robert Mader, Alberts Muktupāvel

GNOME Shell 3.34.3

2020-01-05 Thread Florian Müllner
fixes and cleanups [Florian; !906] Contributors: Jonas Dreßler, Florian Müllner Download https://download.gnome.org/sources/gnome-shell/3.34/gnome-shell-3.34.3.tar.xz (1.47M) sha256sum: 2474bef386c5a47d7be285aa22e24125c46ba5f860a25a1a36a90de4e456bd8a

Mutter 3.34.3

2020-01-05 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell Extensions 3.35.3

2020-01-05 Thread 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.

GNOME Shell 3.35.3

2020-01-05 Thread Florian Müllner
] * Disallow top bar menus without top bar [Florian; #2002] * Misc. bug fixes and cleanups [Georges, Florian, Robert, Umang; !901, #789937, !909, !910, !911, !913, !916] Contributors: Michael Catanzaro, Chuck, Carlos Garnacho, Umang Jain, Robert Mader, Florian Müllner, Georges Basile Stavracas

Mutter 3.35.3

2020-01-05 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell 3.35.1

2019-10-12 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

Mutter 3.35.1

2019-10-12 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell Extensions 3.34.1

2019-10-08 Thread Florian Müllner
. 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

Mutter 3.34.1

2019-10-08 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell 3.34.1

2019-10-08 Thread Florian Müllner
9, !721, #1243, !725, !731, #1614, !683, !732, !121, !735, !736, !740, #573, #1641, #1571] Contributors: Marco Trevisan (Treviño), Benjamin Berg, Jonas Dreßler, Takao Fujiwara, GB_2, Carlos Garnacho, Harshula Jayasuriya, Iain Lane, Robert Mader, Daniel García Moreno, Florian Müllner, Geor

GNOME Shell 3.34.0

2019-09-09 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

GNOME Shell Extensions 3.34.0

2019-09-09 Thread 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.

Mutter 3.34.0

2019-09-09 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell Extensions 3.33.92

2019-09-05 Thread 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.

GNOME Shell 3.33.92

2019-09-05 Thread Florian Müllner
session [Benjamin; !690] * Misc. bug fixes and cleanups [Florian, Jonas D., Jonas Å., Will; !691, !689, !692, #1552, !698] Contributors: Jonas Ådahl, Benjamin Berg, Piotr Drąg, Jonas Dreßler, Florian Müllner, Will Thompson Translators: Daniel Șerbănescu [ro], Danial Behzadi [fa], Daniel

Mutter 3.33.92

2019-09-05 Thread Florian Müllner
non, Piotr Drąg, Jonas Dreßler, Olivier Fourdan, Carlos Garnacho, Hans de Goede, Robert Mader, Florian Müllner, Georges Basile Stavracas Neto, Mart Raudsepp, Ray Strode, Daniel van Vugt Translators: Piotr Drąg [pl], Марко Костић [sr], Rūdolfs Mazurs [lv], Matej Urbančič [sl], Balázs Úr [hu], Fr

Re: Pixel saver: claim update right

2019-09-05 Thread Florian Müllner
On Thu, Sep 5, 2019 at 8:21 AM Pellegrino Prevete via gnome-shell-list wrote: > Obviously I can't upload a zip having the same UUID as another person's > extension, so I guess I have to claim ownership first. Done. ___ gnome-shell-list mailing list

GNOME Shell Extensions 3.33.91

2019-08-21 Thread Florian Müllner
. 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

GNOME Shell 3.33.91

2019-08-21 Thread Florian Müllner
animation [Jonas D.; #1533] * Add new extensions CLI tool [Florian; #1234] * Only track top-level windows [Carlos; #556] * Misc. bug fixes and cleanups [Jonas D., Jonas Å., Piotr, Florian; !678, !682, !686] Contributors: Jonas Ådahl, Jonas Dreßler, Carlos Garnacho, Florian Müllner Translators

Mutter 3.33.91

2019-08-21 Thread Florian Müllner
: Jonas Ådahl, Albert Vaca Cintora, Jonas Dreßler, Olivier Fourdan, Carlos Garnacho, Hans de Goede, Niels De Graef, Adam Jackson, Florian Müllner, Marco Trevisan (Treviño), Daniel van Vugt Translators: Asier Sarasua Garmendia [eu], Kukuh Syafaat [id], Florentina Mușat [ro], Aurimas Černius [lt

GNOME Shell Extensions 3.33.90

2019-08-09 Thread Florian Müllner
. 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

GNOME Shell 3.33.90

2019-08-09 Thread Florian Müllner
, !655, #1482, !656, $654, !665, !667, !670, #1357, !672, !657, #1507, !674, !677] Contributors: Benjamin Berg, Sergey Bugaev, Jonas Dreßler, Niels De Graef, Florian Müllner, Georges Basile Stavracas Neto, Bastien Nocera, Ray Strode, Marco Trevisan (Treviño), verdre, Daniel van Vugt

Mutter 3.33.90

2019-08-09 Thread Florian Müllner
layout_manager to transitions [Florian; !716] * Misc. bug fixes and cleanups [Mark, Florian, Iain, Niels, Carlos, Ray; !671, !691, !694, !696, !703, !707, !697, !710, !708, !714, #719, !721] Contributors: Mark Blakeney, Carlos Garnacho, Niels De Graef, Iain Lane, Florian Müllner, Ray Strode

GNOME Shell Extensions 3.33.4

2019-07-20 Thread Florian Müllner
, #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

GNOME Shell 3.33.4

2019-07-20 Thread Florian Müllner
, !631, !632, !633, #1457] Contributors: Benjamin Berg, Jonas Dreßler, Frederik Feichtmeier, Carlos Garnacho, Illya Klymov, Ting-Wei Lan, Florian Müllner, Sonny Piers, Mario Sanchez Prada, Didier Roche, Jakub Steiner, Ray Strode, Jor Teron, Marco Trevisan (Treviño) Translators: Jordi Mas [ca

Mutter 3.33.4

2019-07-20 Thread Florian Müllner
: Jonas Ådahl, Emmanuele Bassi, Adam Bieńkowski, Piotr Drąg, Jonas Dreßler, Olivier Fourdan, Carlos Garnacho, Robert Mader, Florian Müllner, Georges Basile Stavracas Neto, Pekka Paalanen, Marco Trevisan (Treviño), Daniel van Vugt Translators: Fabio Tomat [fur], Kukuh Syafaat [id] Download

GNOME Shell Extensions 3.33.3

2019-06-24 Thread Florian Müllner
. 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

GNOME Shell Extensions 3.33.1

2019-06-24 Thread Florian Müllner
. 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 3.33.3

2019-06-24 Thread Florian Müllner
Garnacho, Niels De Graef, Christian Hergert, Iain Lane, Robert Mader, Florian Müllner, Simon Schampijer, Jakub Steiner, Will Thompson, Marco Trevisan (Treviño) Translators: Kukuh Syafaat [id], Balázs Meskó [hu], Daniel Mustieles [es], Fabio Tomat [fur], Nathan Follens [nl], Goran Vidović

GNOME Shell 3.33.1

2019-06-24 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

GNOME Shell 3.32.2

2019-06-24 Thread Florian Müllner
[Florian; !529] * Misc. bug fixes [Simon, Carlos, Florian; #822, !551, !509, !511, #1054, !506, #1065] Contributors: Fabrice Bellet, Carlos Garnacho, Simon McVittie, Florian Müllner, Marco Trevisan (Treviño) Translators: Dingzhong Chen [zh_CN], Tim Sabsch [de] Download https

GNOME Shell 3.28.4

2019-06-24 Thread Florian Müllner
: Jonas Ådahl, Andrea Azzarone, Cosimo Cecchi, Takao Fujiwara, Carlos Garnacho, Iain Lane, Florian Müllner, Georges Basile Stavracas Neto, Jasper St. Pierre, Sam Spilsbury, Ray Strode, Will Thompson, Marco Trevisan (Treviño), verdre, Daniel van Vugt Translators: Marek Černocký [cs

Mutter 3.33.3

2019-06-24 Thread Florian Müllner
ntributors: Jonas Ådahl, Piotr Drąg, Olivier Fourdan, Carlos Garnacho, Hans de Goede, Niels De Graef, Ting-Wei Lan, Robert Mader, Florian Müllner, Georges Basile Stavracas Neto, Corentin Noël, Pekka Paalanen, Douglas R. Reno, Marco Trevisan (Treviño), Emil Velikov, Daniel van Vugt T

Mutter 3.33.1

2019-06-24 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.32.2

2019-06-24 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.28.4

2019-06-24 Thread Florian Müllner
, Carlos Garnacho, Sebastian Keller, Iain Lane, Alex Villacís Lasso, Florian Müllner, Bastien Nocera, Aaron Plattner, Jeff Smith, Sam Spilsbury, Marco Trevisan (Treviño), Miguel A. Vico, Daniel van Vugt Download https://download.gnome.org/sources/mutter/3.28/mutter-3.28.4.tar.xz (3.40M

GNOME Shell Extensions 3.32.1

2019-04-17 Thread Florian Müllner
. 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

GNOME Shell 3.32.1

2019-04-17 Thread Florian Müllner
, !476, !473, !480, #1130, !485, !481, !490, !489, #1151, !435, #1160, !482, #1150, #1166, !384] Contributors: AsciiWolf, Andrea Azzarone, Benjamin Berg, Carlos Garnacho, Victor Ibragimov, Robert Mader, Alex Monday, Florian Müllner, Jakub Steiner, Ray Strode, Marco Trevisan (Treviño

Mutter 3.32.1

2019-04-17 Thread Florian Müllner
, Erik Kurzinger, Florian Müllner, Pekka Paalanen, Marco Trevisan (Treviño), Daniel van Vugt Translators: Khaled Hosny [ar], Goran Vidović [hr], Daniel Mustieles [es] Download https://download.gnome.org/sources/mutter/3.32/mutter-3.32.1.tar.xz (2.67M) sha256sum

GNOME Shell Extensions 3.32.0

2019-03-14 Thread Florian Müllner
. 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

GNOME Shell 3.32.0

2019-03-14 Thread Florian Müllner
failure on Debian/Ubuntu [Iain; !442] * Avoid assertion when sizing fallback app icons from CSS [Florian; #1027] * Fix mis-sized menu arrows after texture cache changes [Florian; !452] Contributors: Carlos Garnacho, Iain Lane, Florian Müllner Translators: Gábor Kelemen [hu], Victor Ibragimov [tg

Mutter 3.32.0

2019-03-14 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell Extensions 3.31.92

2019-03-05 Thread Florian Müllner
. 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

GNOME Shell 3.31.92

2019-03-05 Thread Florian Müllner
, !315, #989, !430, !431, !432, #1015, !429, !423, !419, !434] Contributors: Jonas Ådahl, Alan, Andrea Azzarone, Benjamin Berg, Olivier Fourdan, Carlos Garnacho, Niels De Graef, Robert Mader, Alex Monday, Florian Müllner, Marco Trevisan (Treviño), verdre Translators: Carmen Bianca BAKKER

Mutter 3.31.92

2019-03-05 Thread Florian Müllner
Mader, Florian Müllner, Marco Trevisan (Treviño) Translators: Milo Casagrande [it], Tim Sabsch [de], Trần Ngọc Quân [vi], Gwan-gyeong Mun [ko], Марко Костић [sr], Daniel Mustieles [es], Rūdolfs Mazurs [lv], Nathan Follens [nl] Download https://download.gnome.org/sources/mutter

GNOME Shell Extensions 3.31.91

2019-02-22 Thread Florian Müllner
. 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

GNOME Shell 3.31.91

2019-02-22 Thread Florian Müllner
: Jonas Ådahl, Andrea Azzarone, Arnaud Bonatti, Jonas Dreßler, Florian Müllner Translators: Jordi Mas [ca], Ryuta Fujii [ja], Marek Cernocky [cs], Fran Dieguez [gl], Jiri Grönroos [fi], Serdar Sağlam [tr], Anders Jonsson [sv], Matej Urbančič [sl], Gun Chleoc [gd], Kukuh Syafaat [id], Baurzhan

Mutter 3.31.91

2019-02-22 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell Extensions 3.31.90

2019-02-07 Thread Florian Müllner
. 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

Mutter 3.31.90

2019-02-07 Thread Florian Müllner
Gadomski, Carlos Garnacho, Antoine Jacoutot, Iain Lane, Robert Mader, Emilio Pozuelo Monfort, Florian Müllner, Georges Basile Stavracas Neto, Pekka Paalanen, Marco Trevisan (Treviño), Josh Triplett, Daniel van Vugt Translators: Fabio Tomat [fur], Balázs Úr [hu], Daniel Mustieles [es], Kukuh

GNOME Shell 3.31.90

2019-02-07 Thread Florian Müllner
Garnacho, Niels De Graef, Christian Kellner, Ignat Loskutov, Florian Müllner, Georges Basile Stavracas Neto, Pascal Nowack, Lubomir Rintel, Jakub Steiner, Ray Strode, verdre, Daniel van Vugt, Philip Withnall Translators: Daniel Mustieles [es], Carmen Bianca BAKKER [eo], Charles Monzat [fr

GNOME Shell 3.31.4

2019-01-10 Thread Florian Müllner
, #799, #632, !327] Contributors: Jonas Ådahl, Andrea Azzarone, Michael Catanzaro, Cosimo Cecchi, daniruiz, Olivier Fourdan, Carlos Garnacho, Sam Hewitt, Andre Klapper, Florian Müllner, Pascal Nowack, Jasper St. Pierre, RyuzakiKK, Marco Trevisan (Treviño), João Paulo Rechi Vita, Daniel van

Mutter 3.31.4

2019-01-10 Thread Florian Müllner
, #781034, #423, !374, !382, !383] Contributors: Jonas Ådahl, Nikita Churaev, Alan Coopersmith, Jānis Džeriņš, Olivier Fourdan, Carlos Garnacho, Niels De Graef, Peter Hutterer, Javier Jardón, Abderrahim Kitouni, Andre Klapper, Ting-Wei Lan, Robert Mader, Emilio Pozuelo Monfort, Florian

GNOME Shell 3.31.2

2018-11-13 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

GNOME Shell 3.30.2

2018-11-13 Thread Florian Müllner
names in 'image-path' hint [Marco; !285] * Confine window preview titles to workspace area [Florian; !214] * Misc. bug fixes [Florian, Cosimo; #602, #693, #768, #430, !286] Contributors: Andrea Azzarone, Cosimo Cecchi, Erik Duxstad, Carlos Garnacho, Florian Müllner, Didier Roche, Marco Trevisan

GNOME Shell Extensions 3.31.2

2018-11-13 Thread Florian Müllner
. 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

Mutter 3.31.2

2018-11-13 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

Mutter 3.30.2

2018-11-13 Thread Florian Müllner
] Contributors: Jonas Ådahl, Andrea Azzarone, Olivier Fourdan, Carlos Garnacho, Florian Müllner, Akira Nakajima Translators: Dušan Kazik [sk] Download https://download.gnome.org/sources/mutter/3.30/mutter-3.30.2.tar.xz (3.55M) sha256sum

GNOME Shell 3.30.1

2018-10-08 Thread Florian Müllner
, Carlos Garnacho, Andre Klapper, Iain Lane, Florian Müllner, Bastien Nocera, Pascal Nowack, Jakub Steiner, Ray Strode, Will Thompson, Marco Trevisan (Treviño), Adam Williamson, Andrew Zaborowski Translators: Yuras Shumovich [be], Stas Solovey [ru], Justin van Steijn [nl], Dušan Kazik [sk

GNOME Shell Extensions 3.30.1

2018-10-08 Thread Florian Müllner
. 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

Mutter 3.30.1

2018-10-08 Thread Florian Müllner
-shell#531] * Various crash fixes [Olivier, Jonas; #194, #336] * Misc. bug fixes [Carlos, Florian, Olivier, Jonas; gnome-shell#540, #294, #221, !229, #30, #331] Contributors: Jonas Ådahl, Daniel Drake, Olivier Fourdan, Carlos Garnacho, Peter Hutterer, Ting-Wei Lan, Florian Müllner, Tony Novak

Re: Programming question

2018-09-18 Thread Florian Müllner
On Tue, Sep 18, 2018 at 10:49 AM rastersoft wrote: > Yes, but the question is: which method should I use to implement the part of > the second argument? How can I specify that the actor being added must fill > in X, but not fill neither expand in Y? It depends. (Helpful, I know) ClutterActor

GNOME Shell 3.30.0

2018-09-03 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

GNOME Shell 3.29.92

2018-08-29 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to

Mutter 3.29.92

2018-08-29 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

  1   2   3   4   5   6   >