metomi/rose — pull request #121 by benfitzpatrick (2012-11-02 10:25:38+00:00)
Title: #10: config edit flags

This addresses metomi/rose#10.

The variable menu widget is now non-degenerate in colour - colour is now a pure indicator of error and warning state. Ignored and fixed indicators are separate.

The `flags` mechanism was removed, as it was fundamentally designed for temporary marking such as last search - I don't see a requirement that couldn't be better handled in a more rigorous permanent fashion.

This needs to wait until after pull request #115 - I will then update the config-edit images and it will be ready to merge.