?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: e718472) | patch
Remove border around extensions list in preferences.
commit5a2a2ef9a996279f32680f986a9b73700f083c93
authorauouymous <au@qzx.com>
Wed, 29 Jun 2022 08:39:32 +0000 (29 02:39 -0600)
committerauouymous <au@qzx.com>
Wed, 29 Jun 2022 08:39:32 +0000 (29 02:39 -0600)
tree89786ad1fb7854c0958e3aa21798d808da5efeb7tree | snapshot (tar.gz zip)
parente7184726e1b0e773e8c7e9202b7e8dd21e826e68commit | diff
Remove border around extensions list in preferences.

This looks better and provides more space for descriptions on narrow
windows.
share/gpodder/ui/gtk/gpodderpreferences.ui diff | blob | blame | history
gPodder — simple, usable podcast consumption (mirror repository)