Added a dialog giving more information about the causes of problems during operations.

2026-01-22 14:41:39 +00:00 · 2010-04-12 12:21:01 +02:00
parent 7f10aa3de2
commit 1e0f6bfecb
16 changed files with 1406 additions and 69 deletions
--- a/core/gui/base.py
+++ b/core/gui/base.py
@@ -24,6 +24,9 @@ class GUIObject(Listener):
    def marking_changed(self):
        pass
    
+    def problems_changed(self):
+        pass
+    
    def results_changed(self):
        pass