Pushes the current editor state (context) on the context-stack. If {types} is given and is a List of Strings, it specifies which context-types to include in the pushed context. Otherwise, all context types are included.