On 2018-03-22, at 8:24 AM, Kenneth F. Cunningham wrote:
> 2. an option to hide the sometimes forever bouncing dock icon > > options app.hide_dock_icon > default app.hide_dock_icon no > > > For the +x11 versions, you would want both of these options to be "yes" if > gtk2 and gtk3 are installed as +x11. > I have had some time to test this now. If the gtk port is built against gtk2 +quartz or gtk3 +quartz, then the app icon should be shown, and works correctly. if the gtk port is built agains gtk2 +x11 or gtk3 +x11, then the app icon should be hidden as it will bounce forever otherwise. I wonder if there is some elegant way to make this happen across the board without specifying a +x11 and +quartz variant individually for every port. I suspect there is not, and these variants are exactly what we would need to do for each port to make this work right. Any ideas? Ken
