coq-platform snap: missing icons in coqide

[RalfJung]

When I open the coqide installed via the coq-platform snap, most of the icons in the toolbar are missing:

I see a bunch of error messages like that in the terminal:

(coqide:3938711): Gtk-WARNING **: 18:47:10.579: Error loading theme icon 'document-save' for stock: Icon 'document-save' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.580: Error loading theme icon 'window-close' for stock: Icon 'window-close' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.580: Error loading theme icon 'go-down' for stock: Icon 'go-down' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.580: Error loading theme icon 'go-up' for stock: Icon 'go-up' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.581: Error loading theme icon 'go-bottom' for stock: Icon 'go-bottom' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.581: Error loading theme icon 'system-run' for stock: Icon 'system-run' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.581: Error loading theme icon 'process-stop' for stock: Icon 'process-stop' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.581: Error loading theme icon 'go-top' for stock: Icon 'go-top' not present in theme Adwaita

(coqide:3938711): Gtk-WARNING **: 18:47:10.581: Error loading theme icon 'go-previous' for stock: 

(coqide:3938711): Gtk-WARNING **: 18:47:10.581: Error loading theme icon 'go-next' for stock: 

This is on Debian testing, with Gnome (Wayland) as my desktop environment, and version 2022-09-1 of the coq-prover snap.

When I install coqide via opam directly on the host, the icons work as expected.

[MSoegtropIMC]

I believe Enrico fixed this a while back - it might be that this was before 2022-09-1. I could do an updated release for 2022.09. Btw.: The 8.17 release is on the way - there were some signing issues and I didn't have time to test the latest results from INRIA as yet. If it works I will release soon.

[RalfJung]

I believe Enrico fixed this a while back - it might be that this was before 2022-09-1. I could do an updated release for 2022.09.

That would be great. :)

Btw.: The 8.17 release is on the way - there were some signing issues and I didn't have time to test the latest results from INRIA as yet. If it works I will release soon.

Given that my class starts rather soon I'm not sure I'll be able to upgrade to an 8.17 release.