(if the cast is necessary). OTOH "no icon" would be the default anyway, so why bother and set "no icon" explicitly?
You could also mention that the icon used in Alt+Tab is changed as well.
Another info (for the docs) would be that some window managers don't set a window (i.e. title bar) icon, notably Cinnamon (which I am using), although the taskbar and Alt+Tab icon is set.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe. Triage notifications on the go with GitHub Mobile for iOS or Android.
Comments are owned by the poster. All other content is copyright 1998-2025 by Bill Spitzak and others. This project is hosted by The FLTK Team. Please report site problems to 'erco@seriss.com'.