+ GUI: remove unused (and misleading) fields - the widget pointer is always stored...