New version. Update home page link in About box.
[dorian] / devtools.h
index 650c612..d0439c8 100644 (file)
@@ -16,6 +16,7 @@ public:
 public slots:
     void onClear();
     void onLevelButtonClicked(int level);
+    void onTraceToFileToggled(bool enable);
 };
 
 #endif // DEVTOOLS_H