Daniel Britten
Daniel Britten
I also get a similar error, also bypasssing the version check.
Hi @JordanViknar, I have now fixed this issue in a fork of this repository. It should work for GNOME 42 now. It works for my use-case, at least. Hope it...
@JordanViknar Good point, I didn't notice the pull request either. Their fixes are very similar to mine. Ah well, I learnt things about GNOME along the way :slightly_smiling_face: One minor...
@prurigro thanks for noticing that. I've left a [comment on their pull request](https://github.com/p-e-w/argos/pull/134#issuecomment-1096143280) which hopefully will be resolved rather than making an additional pull request.
@mwilck thanks for your comment. > That's wrong. You can never be sure that future GNOME releases won't break your extension, past experience proves this very clearly. I'm well aware...
For what it's worth, I just tried to reproduce your example and got no errors, VSCoq performed as expected. I am currently using Coq 8.9.1 on MacOS Catalina with VSCode...
Disabling the confirmation (e.g. https://github.com/Coda-Coda/nomie5/commit/42b9704dace2b43ae59688a3022ac890dc37b393) would fix this issue, but I understand that's not ideal.
Also having this issue, stuck with `524MB used in internal storage.` Using acquire wakelock.
This works for me - thank you very much!!! I only use simple features of argos. On NixOS (unstable channel). Gnome Shell 45.1.
Hi, @JasonGross and others, is there any way to `unshelve` in Ltac2? Aside from using the `Unshelve` command? I'd like to be able to unshelve within a custom defined Ltac2...