Pull requests - background-logo-extension

#42 Port to ESM

master 0

Merged 8 months ago. Opened 8 months ago by fmuellner.

#41 Misc. cleanups

master 0

Merged 8 months ago. Opened 8 months ago by fmuellner.

#39 Bump version to 43.0

master 0

Merged 2 years ago. Opened 2 years ago by fmuellner.

#38 Fix visibility in dark mode

master 0

Merged 2 years ago. Opened 2 years ago by fmuellner.

#37 Support positioning at the top

master 0

Merged 2 years ago. Opened 2 years ago by fmuellner.

#36 prefs: Scale preview border

master 0

Merged 2 years ago. Opened 2 years ago by fmuellner.

#35 prefs: Request correct GnomeDesktop version

master 0

Merged 2 years ago. Opened 2 years ago by fmuellner.

#34 Modernize preferences

master 0

Merged 2 years ago. Opened 2 years ago by fmuellner.

#33 Bump version to 41

master 1

Merged 2 years ago. Opened 2 years ago by frantisekz.

#30 Increase default logo border

master 1

Merged 3 years ago. Opened 3 years ago by catanzaro.

#29 Port prefs to GTK4

master 0

Merged 3 years ago. Opened 3 years ago by fmuellner.

#28 Adapt to GNOME 40 changes

master 0

Merged 3 years ago. Opened 3 years ago by fmuellner.

#27 Adjust to 3.37 changes

master 2

Merged 3 years ago. Opened 3 years ago by fmuellner.

#25 Initialize opacity

master 0

Merged 3 years ago. Opened 3 years ago by fmuellner.

#23 Adjust to gnome-shell changes

master 0