Jakob Brünker

Results 10 comments of Jakob Brünker

@N1x0 I don't have a good source for this, but [this video](https://youtu.be/odZSCdNTFPw?t=489) at 8:10 says "On a per-display basis, you can have multiple virtual desktops that you can switch between"...

@N1x0 I'm running 0.9.10. My config file is ```c# #r "C:\Program Files\workspacer\workspacer.Shared.dll" #r "C:\Program Files\workspacer\plugins\workspacer.Bar\workspacer.Bar.dll" #r "C:\Program Files\workspacer\plugins\workspacer.ActionMenu\workspacer.ActionMenu.dll" #r "C:\Program Files\workspacer\plugins\workspacer.FocusIndicator\workspacer.FocusIndicator.dll" using System; using workspacer; using workspacer.Bar; using workspacer.ActionMenu; using...

I'm now on 0.9.10.34, the issue is still present. I can test whether I also get this on a different computer later today if that helps.

Okay, I will see if I can run it through visual studio later today as well, then.

@N1x0 I've now tested it on another Windows 10 machine and have the same issue there. I should note that it happens a lot more consistently with Unity Editor than...

> GPGPU is a laborious mess. I'm under OSX, so I can't use CUDA; OpenCL is terrible; WebGPU is too new (and from what I could see, doesn't have the...

Wouldn't it have to be `resolve.apply(head)` or something similar?

This might be too much effort but I think for full functionality you'd need ligatures for all possible connecting characters as well, such that for example `--->===` and `---|===` and...

Workaround: Instead of (edit: or maybe in addition to) using `build-depends`, you can use `ghc-options: -plugin-package=`. This seems to work.

@michaelpj good question, it might be vaguely related, but the changes I've made so far do not seem to help