Miscellaneous editor extensions, you probably need this
