possibility to reset the external editor command

2008-12-03 12:02:08 +01:00
parent 3d9945238d
commit 484a818341
5 changed files with 50 additions and 13 deletions
--- a/src/plugins/coreplugin/generalsettings.h
+++ b/src/plugins/coreplugin/generalsettings.h
@@ -59,6 +59,7 @@ public:

 private slots:
    void resetInterfaceColor();
+    void resetExternalEditor();
    void showHelpForExternalEditor();

 private: