- Added option to disable peer host name resolution (disabled as a default)

- Fix several other bugs related to properties and preferences

src/GUI.h

@@ -156,6 +156,7 @@ class GUI : public QMainWindow, private Ui::MainWindow{
     void scrapeTrackers();
     // Options slots
     void on_actionOptions_triggered();
+    void optionsSaved();
     // HTTP slots
     void on_actionDownload_from_URL_triggered();