Serializing map buffer_size?

[springmeyer]

should we?

src/save_map.cpp

@@ -548 +548 @@
             set_attr( map_node, "bgcolor", * c );
         }
 
+        unsigned buffer_size = map.buffer_size();
+        if (buffer_size || explicit_defaults)
         {
+            set_attr( map_node, "buffer_size", buffer_size );
+        }
+
+        {
             Map::const_fontset_iterator it = map.fontsets().begin();
             Map::const_fontset_iterator end = map.fontsets().end();
             for (; it != end; ++it)

[artem]

Looks good, yes.

[springmeyer]

applied to 0.7.1 in r1679 and trunk in r1682