+ std::string strcommand0 = "cd \"" + default_temp_dir+"/temp_dir/" +"\"";
+ std::string strcommand1 = strappli + "workspace_workspacePrototype.png";
+ std::string strcommand = strcommand0 + " && " + strcommand1;
+ std::cout << "system: " << strcommand << std::endl;
+ system ( strcommand.c_str() );
+
+ }
+ //================================================================
+
+ //================================================================
+ void WxGUIConsole::OnMenuShowHTMLDoc(wxCommandEvent& WXUNUSED(event))
+ {
+ std::string doc_path = ConfigurationFile::GetInstance().Get_doc_path();
+
+#if defined(WIN32)
+ std::string strappli="start ";
+#else
+ std::string strappli="gnome-open ";
+#endif
+ std::string strcommand0 = "cd \"" + doc_path+"\"";
+ std::string strcommand1 = strappli + "index.html";
+ std::string strcommand = strcommand0 + " && " + strcommand1;