new theme, undo tree, etc