Broken, half-finished refactoring of nonterminal editor UI