289 {
290 if (sv == nullptr) {
291 const char *name = "ParamEditorMAIN";
292 sv = new ScrollView(name, 1, 1, 200, 200, 300, 200);
293 }
294
295 sv_window_ = sv;
296
297
298
299
300 SVMenuNode *svMenuRoot = BuildListOfAllLeaves(tess);
301
302 std::string paramfile;
305 paramfile += "edited";
306
307 SVMenuNode *std_menu = svMenuRoot->AddChild("Build Config File");
308
309 writeCommands[0] = nrParams + 1;
310 std_menu->AddChild("All Parameters", writeCommands[0], paramfile.c_str(), "Config file name?");
311
312 writeCommands[1] = nrParams + 2;
313 std_menu->AddChild("changed_ Parameters Only", writeCommands[1], paramfile.c_str(),
314 "Config file name?");
315
316 svMenuRoot->BuildMenu(sv, false);
317}