mutter 41.beta

2021-08-18 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 40.4

2021-08-18 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.38.6

2021-08-18 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

gnome-shell-extensions 41.beta

2021-08-18 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-extensions 40.4

2021-08-18 Thread Florian Müllner
. News * drive-menu: Fix indicator visibility [Florian; !176] * Use distinct gettext domain for e.g.o uploads [Florian; #335] Contributors: Florian Müllner Download https://download.gnome.org/sources/gnome-shell-extensions/40/gnome-shell-extensions-40.4.tar.xz (213K) sha256sum

gnome-shell 41.beta

2021-08-18 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 40.4

2021-08-18 Thread Florian Müllner
[Sebastian; !1927] * Fixed crash [Florian; !1935] * Misc. bug fixes and cleanups [Florian, Sebastian; !1921, !1926, !1932, !1938, !1945, !1950] Contributors: Marco Trevisan (Treviño), Sebastian Keller, Florian Müllner, Daniel van Vugt, vanadiae Translators: Quentin PAGÈS [oc] Download

gnome-shell 3.38.6

2021-08-18 Thread Florian Müllner
jumps when using caret tracking [Lee; !1823] * Fixed crash [Florian; !1885] * Misc. bug fixes and cleanups [Florian, Carlos, Robert; !1891, !1902, !1901, !1786, !1909] Contributors: Carlos Garnacho, Lee, Robert Mader, Florian Müllner Translators: Hugo Carvalho [pt] Download https

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 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.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 Extensions 3.37.2

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

GNOME Shell 3.36.3

2020-06-03 Thread Florian Müllner
aro, Philip Chimento, Jonas Dreßler, Bryan Dunsmore, Carlos Garnacho, Amr Ibrahim, Michael Lass, Alexander Mikhaylenko, Florian Müllner Translators: Fabio Tomat [fur], Cheng-Chia Tseng [zh_TW], Dušan Kazik [sk], Piotr Drąg [pl], Daniel Mustieles [es], Nathan Follens [nl], Bruce Cowan [en_GB],

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.37.2

2020-06-03 Thread Florian Müllner
279, !1283, !1272] Contributors: Marco Trevisan (Treviño), Akatsuki, Jonas Dreßler, Olivier Fourdan, Carlos Garnacho, Niels De Graef, Ting-Wei Lan, Robert Mader, Simon McVittie, Florian Müllner, Corentin Noël, Christian Rauch, Daniel van Vugt, Sergey Zigachev, Jonas Ådahl Download

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

Polari 3.37.2

2020-06-03 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Improve performance while idle [Philip; !157] * Misc. bug fixes and cleanups [Florian; #144] Contributors: Yuri Chornoivan, Florian Müllner, Philip Withnall Translators

Polari 3.36.3

2020-06-03 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Misc. bug fixes and cleanups [Florian; !156] * Improve performance while idle [Philip; !157] Contributors: Yuri Chornoivan, Florian Müllner, Philip Withnall Download

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

Polari 3.36.2

2020-04-29 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Fix information leak when re-using account IDs [Florian; #132] Contributors: Florian Müllner Translators: Cheng-Chia Tseng [zh_TW], Emin Tufan Çetin [tr] Download

Polari 3.37.1

2020-04-29 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Add the ability to mute nicknames [Florian; !153] Download https://download.gnome.org/sources/polari/3.37/polari-3.37.1.tar.xz (1004K) sha256sum:

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

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.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

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

Polari 3.36.1

2020-03-30 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Misc. cleanups [Florian; !150, !151] Contributors: Florian Müllner Translators: Daniel Korostil [uk], Daniel Șerbănescu [ro] Download https

Polari 3.36.0

2020-03-07 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Fix URL previews in flatpak [Florian; !147] * Misc. bug fixes and cleanups [Florian; !149, !148] Contributors: Florian Müllner Translators: Goran Vidović [hr], Milo

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

Polari 3.35.92

2020-02-29 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News Contributors: Florian Müllner Translators: Efstathios Iosifidis [el], Jiri Grönroos [fi], Charles Monzat [fr], DaeHyun Sung [ko], Kukuh Syafaat [id], Nathan Follens [nl

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

Polari 3.35.91

2020-02-17 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Fix launching help [Florian; #125] * Update keyboard shortcuts dialog [Sabri; !144] Contributors: Umarzuki Bin Mochlis Moktar, Florian Müllner, Sabri Ünal Translators

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

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

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 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

Fwd: polari 3.35.3

2020-01-05 Thread Florian Müllner
: Florian Müllner, daronion Translators: Fran Dieguez [gl] Download https://download.gnome.org/sources/polari/3.35/polari-3.35.3.tar.xz (998K) sha256sum: 9296fa78f479c2af3a8d70ff545441b9a2ab8b36336312d3a65df813704d5f01 ___ gnome-announce-list

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

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

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

Polari 3.34.0

2019-09-09 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News Translators: Milo Casagrande [it], Charles Monzat [fr], Sabri Ünal [tr] Download https://download.gnome.org/sources/polari/3.34/polari-3.34.0.tar.xz (1.21M)

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.

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

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 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

Polari 3.33.92

2019-09-05 Thread Florian Müllner
, !129, !131, !130, !133] Contributors: Florian Müllner, Γιάννης Κουτσούκος Translators: Balázs Meskó [hu], Cheng-Chia Tseng [zh_TW], Daniel Mustieles [es], Fabio Tomat [fur], Efstathios Iosifidis [el], Nathan Follens [nl], Goran Vidović [hr], Kukuh Syafaat [id], Asier Sarasua Garmendia [eu

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

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

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.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

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

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

Polari 3.32.1

2019-04-17 Thread Florian Müllner
, !100, !101, !99, !108, !109, !110, !111] Contributors: Daronion, Shubhesh Dwivedi, Kalev Lember, Florian Müllner Translators: Matej Urbančič [sl], Ask Hjorth Larsen [da] Download https://download.gnome.org/sources/polari/3.32/polari-3.32.1.tar.xz (1.06M) 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

Polari 3.32.0

2019-03-14 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News Translators: Kristjan SCHMIDT [eo], Ryuta Fujii [ja] Download https://download.gnome.org/sources/polari/3.32/polari-3.32.0.tar.xz (1.05M) 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

Polari 3.31.92

2019-03-05 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Misc. bug fixes and cleanups [Daronion, Florian; #68, !92, !93, !94, !95, !96] Contributors: Daronion, Florian Müllner, Justin van Steijn Translators: Jordi Mas [ca

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

  1   2   3   4   5   >