Add a widget giving an overview of the editor, as (what I think is being) suggested...