you can now open a .cex-file, but only the context is loaded at the
moment. gui changes, if an object is added during the attribute
exploration