Marco Trevisan

Please explain better the reproducer, and provide logs is you see JS errors.

There are two factors here that cause this to be problematic by making the space too small (see previous revisions): - we'd make tooltips to cover windows or windows to...

Mh, personally I think it makes sense to make it opaque in case it was not to make clear that such operation has not to be performed on dock. You...

I feel this is a distro issue, let's close this for now.

Works great, thanks!

Ah, and what the reddit page doesn't include is also that this is stopped by opening the URL - http://10.5.5.9/gp/gpExec?p1=gpStreamA9&c1=stop

Do you have the command to use ffmpeg to stream it to localhost? Also it would be nice to get a simple python client that is able to stream from...

well, it would likely work in other platforms, but indeed will make things slower (depending on your default default `.bashrc`) Maybe, can you try if instead you can just try...

Mh, loading the bash_completion is actually already happening, so what I assume is that we're picking the wrong location in your setup. Where is the `bash_completion` script? I assume you've...

> Could you please show the output of typeset -p ZSH_VERSION ZSH_PATCHLEVEL ZSH_HIGHLIGHT_REVISION ZSH_HIGHLIGHT_VERSION ``` typeset ZSH_VERSION=5.4.2 # But I see the same in ZSH 5.8 typeset ZSH_PATCHLEVEL=ubuntu/5.4.2-3ubuntu3.1 # sam...