David Virebayre

I also have the same problem.

> the simplest short-term fix for you would be to edit`~/.local/share/gnome-shell/extensions/[email protected]/noteBox.js` there is a method named `_createDefaultState` somewhere, with "250" and "180" hardcoded in it as the default size. I...

Aw I would love to see this too. I can't use it as is on my work PC for now. @PapyElGringo you made such a good job with material-shell, I...

Another example : in `exec_command` the parameter `command` is `str` in the stubs; but it can actually accept `byte` as well since it eventually gets passed to `b()`which converts it...

I have a maybe similar issue with Pycharm 2020.3 : when installing haskforce, after restarting the IDE, it show in the plugin list as not installed. The installation fails without...