diff options
Diffstat (limited to 'launcher/ui/pages/global/ExternalToolsPage.h')
-rw-r--r-- | launcher/ui/pages/global/ExternalToolsPage.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/launcher/ui/pages/global/ExternalToolsPage.h b/launcher/ui/pages/global/ExternalToolsPage.h index 5ae6148d..0c6f2a77 100644 --- a/launcher/ui/pages/global/ExternalToolsPage.h +++ b/launcher/ui/pages/global/ExternalToolsPage.h @@ -54,6 +54,7 @@ public: return "Tools"; } virtual bool apply() override; + void retranslate() override; private: void loadSettings(); |