Luke Chen

It works for me now. Here's my setup: Software: mangohud, gamescope, proton-GE installed through flatpak. Environment variables: ``` DXVK_HDR=1 ENABLE_HDR_WSI=1 DISPLAY= ``` gamescope command line: ``` gamescope -w 3840 -h...

Your suggestion doesn't seem to apply to flatpak. Since it's no longer a problem on my setup, I will close this issue.

I just encountered the same problem. It's caused by the configuration in `modules/lang/ocaml/config.el` (assuming you also enabled ocaml in `init.el`): the `use-package!` calls `tuareg-opam-curent-compiler`. An easy fix would be to...

> I think the problem is coming from https://github.com/FStarLang/FStar/issues/1948. That's weird, this seems to be a problem introduced somewhere between last release (`v2025.10.06`) and `master` branch. This issue was talking...

This is what I'm doing locally: ``` (defun my/company-coq-doc-buffer-generic (name cmds &optional interactive) "Prepare a doc buffer for NAME, using CMDS to collect information. If INTERACTIVE is non-nil and no...

I can try to reroute the call to quick-help, but I don't really use the coqdoc feature. This issue was opened because I felt it's better to fix the problem...

Sorry I wasn't clear in my last reply. Here's the problem I'm encountering: - I use emacs/company in a way that it attempts to show document of current completion candidate...

It seems to be working as intended. I will report back again after some usage.

Actually, not quite right. I didn't remove the overriding scripts I had in my private config. The `cpc/quickhelp` branch seem to print out the content of `*goals*` buffer twice, here's...