Doxygen editing minor mode
