Stream: Coq users

Topic: CoqIDE: store preferences does not work on Mac


view this post on Zulip Michael Soegtrop (Nov 03 2022 at 09:51):

I found that on Mac CoqIDE does not store preferences any more - it is hard to tell since when since for 8.15 the preferences dialog did crash. This has been fixed on 8.16 and I can change preferences and they take effect, but they are not stored.
Do others have similar issues? If so only on Mac?

view this post on Zulip Théo Zimmermann (Nov 03 2022 at 10:23):

Please make sure to open an issue about this.
Since the pango library has been fixed, you could consider building it from sources (using the master branch) and testing Coq 8.15 (or any earlier version) built with this fixed library.

view this post on Zulip Théo Zimmermann (Nov 03 2022 at 10:24):

FTR, I do not have this problem on my computer (Linux / NixOS / Nix installation / tested with the processed color).

view this post on Zulip Michael Soegtrop (Nov 03 2022 at 10:41):

I first wanted to collect some information about this because it used to work fine and I don't quite understand what happened when. I used CoqIDE for a long time without issues on Mac but then switched to VsCoq about a year back and now I don't quite recognize it any more.

Indeed it might make sense to build pango from sources in Coq Platform.

view this post on Zulip Théo Zimmermann (Nov 03 2022 at 10:44):

Indeed it might make sense to build pango from sources in Coq Platform.

I was not quite suggesting that. Just building it from sources for testing. Once a new release is out, we can make sure that both Homebrew and MacPorts are updated quickly.


Last updated: Jan 29 2023 at 01:02 UTC