X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvariable.c;h=ccbe65dc0ed9757be75091637bb346b276182d84;hb=3e3468c33112e7430f3fc0e1e7eca06b29ee9c0e;hp=d14237d925c3442e4baa8bbf9204a09044f41818;hpb=5a0b0d607efde2ab3a47d0d9c9fc62128a3156c1;p=pspp

diff --git a/src/data/variable.c b/src/data/variable.c
index d14237d925..ccbe65dc0e 100644
--- a/src/data/variable.c
+++ b/src/data/variable.c
@@ -778,9 +778,15 @@ var_get_display_width (const struct variable *v)
 
 /* Sets V's display width to DISPLAY_WIDTH. */
 void
-var_set_display_width (struct variable *v, int display_width)
+var_set_display_width (struct variable *v, int new_width)
 {
-  v->display_width = display_width;
+  int old_width = v->display_width;
+
+  v->display_width = new_width;
+
+  if ( old_width != new_width)
+    dict_var_display_width_changed (v);
+
   dict_var_changed (v);
 }