metomi/rose — pull request #217 by benfitzpatrick (2012-11-29 14:49:54+00:00)
Title: Fix config-edit 'ignore' menu

This fixes the ignore menu for erroneously-enabled (should be trigger-ignored) variables. It should trigger-ignore them.

@matthewrmshin, please review.