procedure PushState(Element: TElement);
This is PushState, a member of class THtEditorStateStack.
THtEditorStateStack Methods