EditorEx: permanent header API