metomi/rose — pull request #718 by benfitzpatrick (2013-06-04 11:10:03+00:00)
Title: rose edit: force status widget update (gtk)

This should make the status bar in `rose edit` update graphically even if there is later queued computation.

@arjclark, please review.