X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvariable.c;h=ccbe65dc0ed9757be75091637bb346b276182d84;hb=ddd7c113f3e50c8d87f6a677856799d05a1f40c7;hp=d14237d925c3442e4baa8bbf9204a09044f41818;hpb=bfa3bb62acfb1496a028c4baa800b2d2c5b543f5;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);
 }