Stream: Coq devs & plugin devs

Topic: CoqIDE icons


view this post on Zulip Jason Gross (May 14 2021 at 17:16):

What do I need to install to get icons?
image.png
image.png
(CoqIDE installed on WSL2, running over an X11 server)

view this post on Zulip Enrico Tassi (May 14 2021 at 19:03):

I've no experience with wsl2, but the icons come from this package https://github.com/coq/platform/blob/cd9e106fcf34cad31192337234ee15056dc510b2/windows/create_installer_windows.sh#L369

view this post on Zulip Enrico Tassi (May 14 2021 at 19:04):

it exists on both cygwin and ubuntu

view this post on Zulip Jason Gross (May 14 2021 at 20:43):

It does not work:

$ sudo apt-get install adwaita-icon-theme
[sudo] password for jgross:
Reading package lists... Done
Building dependency tree
Reading state information... Done
adwaita-icon-theme is already the newest version (3.36.1-2ubuntu0.20.04.2).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.

image.png

view this post on Zulip Jason Gross (May 14 2021 at 20:44):

I'm running Ubuntu 20.04.2 LTS

view this post on Zulip Jason Gross (May 14 2021 at 20:57):

Strangely, the "Go to" icon shows up fine, though the others do not...

view this post on Zulip Jason Gross (May 14 2021 at 21:05):

I've made an issue at https://github.com/coq/coq/issues/14324 with an strace log of where it's looking for files. I don't know enough GTK3 to know what's up.

view this post on Zulip Jason Gross (May 14 2021 at 21:05):

I find it suspicious that it's looking for icons in the "Yaru" theme, though, since you tell me they are in Adwaita...

view this post on Zulip Jason Gross (May 14 2021 at 21:07):

My theme is set to Adwaita though... image.png

view this post on Zulip Jason Gross (May 14 2021 at 21:21):

$ find /usr/share/icons/Adwaita/ -name "*ave*"
/usr/share/icons/Adwaita/scalable/places/folder-saved-search-symbolic.svg
/usr/share/icons/Adwaita/scalable/actions/document-save-as-symbolic.svg
/usr/share/icons/Adwaita/scalable/actions/document-save-symbolic.svg
/usr/share/icons/Adwaita/scalable/apps/preferences-desktop-screensaver-symbolic.svg
/usr/share/icons/Adwaita/scalable/categories/emoji-travel-symbolic.svg

Does this seem right? Can someone else with a working CoqIDE tell me whether or not they have more files?

view this post on Zulip Enrico Tassi (May 14 2021 at 21:31):

It's weird only scalable icons are there...

view this post on Zulip Jason Gross (May 14 2021 at 21:34):

There are non-scalable ones too, like

/usr/share/icons/Adwaita/48x48/actions
/usr/share/icons/Adwaita/48x48/actions/format-justify-center-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-text-bold-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-text-underline-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/open-menu-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/zoom-in-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-text-strikethrough-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/edit-find-replace-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/zoom-out-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-justify-right-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/tools-check-spelling-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/zoom-original-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/insert-link-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/go-jump-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/view-sort-descending-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/insert-image-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-indent-more-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/edit-find-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/media-playback-start-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/view-sort-ascending-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-justify-left-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-indent-less-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-justify-fill-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/call-start-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/zoom-fit-best-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/edit-delete-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/format-text-italic-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/document-send-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/system-search-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/media-playback-pause-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/call-stop-symbolic.symbolic.png
/usr/share/icons/Adwaita/48x48/actions/media-playback-stop-symbolic.symbolic.png

view this post on Zulip Jason Gross (May 14 2021 at 21:35):

The only icons mentioning "ave" in https://packages.ubuntu.com/focal-updates/all/adwaita-icon-theme/filelist are in scalable too

view this post on Zulip Jason Gross (May 14 2021 at 21:35):

Maybe I need adwaita-icon-theme-full?

view this post on Zulip Jason Gross (May 14 2021 at 21:36):

Indeed, installing adwaita-icon-theme-full fixes the problem

view this post on Zulip Michael Soegtrop (May 16 2021 at 09:26):

@Jason Gross : how did you install CoqIDE? opam? It is a bit strange, because I did test this on fresh installed Linux of various flavours - not including Ubuntu WSL - maybe we need a separate depext system for that.

view this post on Zulip Jason Gross (May 16 2021 at 11:08):

./configure && make && make install. Ubuntu WSL2 is just an Ubuntu VM, but perhaps it's a strange one because it doesn't come with all the graphical packages preinstalled. I wouldn't be surprised if most systems have the full icon theme installed by default?

view this post on Zulip Gaƫtan Gilbert (May 16 2021 at 11:46):

doesn't configure with no arguments ask for stuff?

view this post on Zulip Jason Gross (May 16 2021 at 15:04):

I was actually using ./configure -prefix "$HOME/.local64/coq/coq+14252/" followed by make TIMED=1 -j2 (or something like that) followed by make install, but I figured those details weren't important

view this post on Zulip Michael Soegtrop (May 17 2021 at 07:25):

@Jason Gross : I see. Doesn't Coq require a lot of other things not naturally there in WSL, say gmp, gtksourceview, ...? Does opam install everything required via depext?

view this post on Zulip Jason Gross (May 17 2021 at 11:12):

I think so, bit I'm not sure. However, configure will decide not to build coqide if those packages are absent, but does not check for adwaita


Last updated: Oct 15 2021 at 20:02 UTC