Marco Trevisan

Results 219 comments of Marco Trevisan

Leaving this as WIP given the gjs requirement...

Thanks works great! The only thing is that when you go to "NewsIt" pane and click "Check current page", maybe the + should be added? I.e.: show it only on...

This is definitely something I've been considering for long time, but sadly this wouldn't work in wayland because we don't get enough dnd information at shell level, while it would...

From the screencast it seems that something breaks the dock on reload, please provide `journalctl /usr/bin/gnome-shell` logs.

@vanvugt I feel it's your area, it maybe that in some scenarios we should get rid of the dock from the uiGroup... Mhmh.

It's technically customizable, but it requires changing the .css that is applied to the item... We could add a setting for it, but it's not something under our radar at...

What happens if the application is launched from another launcher or using the keyboard, is the forced-hover causing any side-effect?

Ah, for your info, I've landed this to ubuntu yesterday, so also consider the fixups I did at https://github.com/micheleg/dash-to-dock/tree/ubuntu-dock

Well, fact is that the emblem is not meant to be a circle, but to be a rounded rectangle that grows depending on the text inside it. We could probably...

Do you happen to have enabled both Ubuntu dock and Dash to dock?