metomi/rose#225: update documentation
Merge pull request #715 from benfitzpatrick/225.rose-edit-document

#225: update documentation
rose edit: force status widget update (gtk)
Merge pull request #718 from benfitzpatrick/rose-edit.status-fix

rose edit: force status widget update (gtk)
Merge remote branch 'upstream/master' into load-on-demand
Status messages for load on demand. Corrected some defaults.