Attila, It looks to me like the current behaviour is correct and intentional, but lets wait for upstream to review your patch and see what they have to say. btw Nautilus also has the same behaviour in its side bar.
see https://git.gnome.org/browse/gnome-shell-extensions/commit/?id=2f5c095f7a0d2f85a0673ad0605ba7fbed2e0645
Attila,
It looks to me like the current behaviour is correct and intentional, but lets wait for upstream to review your patch and see what they have to say. btw Nautilus also has the same behaviour in its side bar.
see https:/ /git.gnome. org/browse/ gnome-shell- extensions/ commit/ ?id=2f5c095f7a0 d2f85a0673ad060 5ba7fbed2e0645