gtk+/gnome folks were apparently at least vaguely aware of Amiga MUI e.g. discussing it in a context of implementing theming/styling in Feb 1998 - https://list

gtk+/gnome folks were apparently at least vaguely aware of Amiga MUI e.g. discussing it in a context of implementing theming/styling in Feb 1998 - https://lists.gnome.org/archives/gnome-themes-list/1998-February/msg00024.html https://lists.gnome.org/archives/gnome-themes-list/1998-Febr...