Benjamin Monjoie

Hello @GauravCreed , I'm not entirely sure why you have mentioned me (I have just made a PR a long time ago and I am not maintaining this project at...

I have tried to reproduced but I wasn't able to. Usually, it happens while I'm using it and I don't intent on selecting anything. The problem I have encountered several...

Please consider this feature request. V-Shell is an amazing extension, and it would greatly improve the user experience of both your users.

@neekfenwick #186 doesn't include a patched zip file. Therefore, checking it out and running `./install.sh` won't install the right code. Here are the steps I took to make the extension...

I don't know if I should open a new bug for this or not but I have an issue with VShell (30) when Ubuntu Dock (79) is enabled. I'm on...

@G-dH I'm so sorry, GitHub didn't notify me of your answer. I did install the latest version from GitHub as per the instructions of the README. I have done it...

Disabling Ubuntu-Dock and installing DtD reverts to the previous behavior: The UI seems broken when logging in but going out and back into expose mode solves the issue. Therefore, I...

@G-dH I'm very sorry if my comment came across badly. I'm fully aware that you did your best to avoid the conflict with DtD and that the bug I'm experiencing...

This comment is. not. helpful. Nobody forces you to use this or to try it nor have you paid for it, so you could be a bit more polite when...

@ilanbiala, I understand your point of view even though I don't share it. Yet, I won't comment any further on that here because I'd like this issue to stay on...