Coqtail VS qutebrowser

I've looked at both of these before, but neither of them fit the bill. Both are used for interactive execution of Coq programs from inside Neovim (I already use https://github.com/whonore/Coqtail for that purpose), but neither provides code completion. Nonetheless, thank you so much for your help. Much appreciated.

If you're finding coqide hard to use, I used to use coquille back in the day so that I didn't have to lose my neovim workflow (though it seems like coqtail is the currently maintained fork). I remember djao himself used to use proof general with emacs, which looks like another nice option if you're an emacs user.

I don'r know if this counts but there is also https://www.qutebrowser.org/ which uses qt webkit IIUC

I searched this issue and saw there were already open issues on github, and it is an upstream issue with QtWebEngine.

You can add [aria-haspopup] to your hints.selectors setting (from a config.py, see the configuration docs) to get the same effect.

There is a small how-to here: Switching to Qt 6 by default · Issue #7202 · qutebrowser/qutebrowser

There is a Qutebrowser user script for 1password: https://github.com/qutebrowser/qutebrowser/blob/master/misc/userscripts/qute-1pass. Disclaimer: I am the original author (it’s been refactored a lot by mkonig since I originally wrote it). My original version is here https://github.com/tomoakley/dotfiles/blob/master/qutebrowser/userscripts/1password

Glad to hear! You'd either add it to the userscripts folder in the repo, or add a link to the README about it and host it elsewhere.

It seems to work fine with Qt 6, so I guess this is just some missing feature on Qt 5. Maybe something changed on Wikipedia's side.

Show PID in :process error message · qutebrowser/qutebrowser@c41f152