diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index 7cb37aa7a2..7430fb57d6 100644 --- a/src/frontends/qt4/GuiApplication.cpp +++ b/src/frontends/qt4/GuiApplication.cpp @@ -319,6 +319,7 @@ QString iconName(FuncRequest const & f, bool unknown) if (!f.argument().empty()) { name1 = name2 + ' ' + toqstr(f.argument()); name1.replace(' ', '_'); + name1.replace('\\', "backslash"); } }