Today I encountered a strange difference between browsers. Safari and Chrome both do not offer the "Edit GUI" button while Firefox, Mozilla, IE and Opera do. JavaScript is enabled everywhere. Does anybody else encounter this? Kai