Rick de Wolf
Rick de Wolf
Has any progress been made on this feature or the UX review?
I'd love to be able to use the better workspace switching, so I've tried the manual setup from this thread. I can't get it to work however. I've tried it...
It's sticking to the default ubuntu behaviour, so the conflict would be launching/opening applications that occupy the dock. I did run the provided code that sets switch-to-application-# keybindings to nothing,...
Exactly, I didn't expect it to be possible in pop shell since it sounds like most of the window management would need to be redesigned and implemented, but it would...
Hi, it's been a while since this was posted but I'm curious if there's any update on this. Is this going to be the way to implement stochastically differentiable if...
Hi Evgenia! I'm running the very latest release candidate, v4.8.0-rc1, so that would explain the issue. Is there a workaround for this or should I just downgrade Lean for the...
Thanks for the quick update! The error I saw has disappeared after I updated Paperproof, but it seems like something is still broken. All I can see in the Paperproof...