Lack of scrolling on drop down menu limits usability of this extension.

tuberry / extension-list

Simple GNOME Shell extension manager in the top panel.

GNU General Public License v3.0

54 stars 9 forks source link

Lack of scrolling on drop down menu limits usability of this extension. #3

Closed BananaPlantain closed 3 years ago

tuberry commented 3 years ago

Do we need so many extensions that more than a screen's length?

BananaPlantain commented 3 years ago

I do. Why limit it?

On Mon, Aug 17, 2020, 11:51 PM tubery notifications@github.com wrote:

Do we need so many extensions that more than a screen's length?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/tuberry/extension-list/issues/3#issuecomment-675233370, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABSYNC7U6DYDWK47LYZO35DSBH3FRANCNFSM4QBH2ZFQ .

tuberry commented 3 years ago

Why? Because it's a feature request. Gnome Shell doesn't support it natively.

tuberry commented 3 years ago

Supported in the latest commit.