Put StyleEditor options into the tab-options menu