Skip to content
Snippets Groups Projects
Commit 0f68c35c authored by Christophe Geuzaine's avatar Christophe Geuzaine
Browse files

random feedback = sensible-editor just does not work; just use gedit instead

parent 1aaa2083
No related branches found
No related tags found
No related merge requests found
...@@ -112,7 +112,7 @@ StringXString GeneralOptions_String[] = { ...@@ -112,7 +112,7 @@ StringXString GeneralOptions_String[] = {
#elif defined(__APPLE__) #elif defined(__APPLE__)
"open -t %s" , "open -t %s" ,
#else #else
"sensible-editor '%s'" , "gedit %s" ,
#endif #endif
"System command to launch a text editor" }, "System command to launch a text editor" },
{ F|S, "TmpFileName" , opt_general_tmp_filename , { F|S, "TmpFileName" , opt_general_tmp_filename ,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment