// reset metrics cache to "real" values
//metrics();
return tpain.textheight();
// reset metrics cache to "real" values
//metrics();
return tpain.textheight();
- } else {
- odocstringstream oss;
- Encoding const * const enc = encodings.fromLyXName("utf8");
- WriteStream wi(oss, false, true, WriteStream::wsDefault, enc);
- // Fix Bug #6139
- if (type_ == hullRegexp)
- write(wi);
- else {
- for (row_type r = 0; r < nrows(); ++r) {
- for (col_type c = 0; c < ncols(); ++c)
- wi << (c == 0 ? "" : "\t") << cell(index(r, c));
- wi << "\n";
- }
+ }
+
+ odocstringstream oss;
+ Encoding const * const enc = encodings.fromLyXName("utf8");
+ WriteStream wi(oss, false, true, WriteStream::wsDefault, enc);
+
+ // Fix Bug #6139
+ if (type_ == hullRegexp)
+ write(wi);
+ else {
+ for (row_type r = 0; r < nrows(); ++r) {
+ for (col_type c = 0; c < ncols(); ++c)
+ wi << (c == 0 ? "" : "\t") << cell(index(r, c));
+ wi << "\n";
- docstring const str = oss.str();
- os << str;
- return str.size();
+ docstring const str = oss.str();
+ os << str;
+ return str.size();