Better using a space instead of '\0' in the num_get facet.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@16103 a592a061-630c-0410-9148-cb99ea01b6c8

src/support/docstring.C

@@ -470,9 +470,9 @@ protected:
 			s += static_cast<char>(*iit);
 		// We add another character, not part of the numpunct facet,
 		// in order to avoid setting the eofbit in the stream state,
-		// which would prevent any further read. The '\0' seems a
+		// which would prevent any further read. The space seems a
 		// good choice here.
-		s += '\0';
+		s += ' ';
 		string_num_get_facet f;
 		f.get(s.begin(), s.end(), b, err, v);