more work on patch change redisplay.

- fixes just-introduced undo crash.
This commit is contained in:
nick_m 2016-12-16 01:58:58 +11:00
parent 2a79bcd6b2
commit a99331a4e9
3 changed files with 14 additions and 11 deletions

View file

@ -74,6 +74,8 @@ Flag::set_text (string const & text)
{
if (text.empty ()) {
_text->set (" ");
} else if (text == _text->text()) {
return;
} else {
_text->set (text);
}