Dashboard: update layout editor when adding/removing widgets. fixes #9