// ズーム情報等
root.appendChild(writeViewSettings(doc, ws.getZoomFactor(), ws.getViewPosition(), ws.getWindowRect()));
+ // データダウンロード不要フラグ
+ if (ws.isNoNeedDataDownload()) {
+ Element noNeedDataDownloadElm = doc.createElement("noNeedDataDownload");
+ noNeedDataDownloadElm.setTextContent(Boolean.toString(ws.isNoNeedDataDownload()));
+ root.appendChild(noNeedDataDownloadElm);
+ }
+
doc.appendChild(root);
return doc;
}