| commit | aec5e162cf83bb3afd799174c45aff1d6704190f | |
| author | auouymous <au@qzx.com> | |
| Fri, 8 Jul 2022 22:28:41 +0000 (8 16:28 -0600) | ||
| committer | auouymous <au@qzx.com> | |
| Fri, 8 Jul 2022 22:28:41 +0000 (8 16:28 -0600) | ||
| tree | e5c0c810c159112c064dfd550bb3f653d6acb84d | treesnapshot (tar.gz zip) |
| parent | d291d12ad0987a73e4a26e502ac930ff2e57c822 | commitdiff |
Add/remove extension preferences buttons when loaded/unloaded.
The user must currently close preferences and reopen to configure
extensions that provide a preferences UI. This is a problem when the
user does not know the extension has preferences, but the sudden
appearance of the button when an extension is enabled might catch the
user's attention.
Furthermore, removing the button when the extension is unloaded prevents
any confusion as to why it is still there.
The user must currently close preferences and reopen to configure
extensions that provide a preferences UI. This is a problem when the
user does not know the extension has preferences, but the sudden
appearance of the button when an extension is enabled might catch the
user's attention.
Furthermore, removing the button when the extension is unloaded prevents
any confusion as to why it is still there.
| src/gpodder/gtkui/desktop/preferences.py | diffblobblamehistory |