variable: Only notify variable width change if it really did change.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 28 Sep 2013 23:03:32 +0000 (16:03 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 28 Sep 2013 23:03:32 +0000 (16:03 -0700)
commit61bf4a044aafdca09f4b2c363b6636d44e93d215
tree4b243fbd0db90b1633a39ba37af9b6ba0dde5079
parent960d7a3b2d6748d78537572df211a47eb0709ed5
variable: Only notify variable width change if it really did change.

This code was notifying a width change every time, even if the width did
not really change, which is wasteful.  This had a side effect of revealing
a bug in the GUI code which caused an assertion failure.  The bug still
remains in the GUI code, though it is now slightly harder to trigger, and
will be fixed separately in an upcoming commit.
src/data/variable.c