Intermediate results: Revised feature model editor, to be consistent
when switching tabs.