Add tooltips to CP-Profiler symbols

MiniZinc · Feb 12, 2023 · 53610e9 · 53610e9
1 parent 7ac502e
commit 53610e9
Showing 1 changed file with 24 additions and 1 deletion.
diff --git a/cp-profiler/src/cpprofiler/tree/node_widget.hh b/cp-profiler/src/cpprofiler/tree/node_widget.hh
@@ -83,6 +83,29 @@ class NodeWidget : public QWidget
     {
         setMinimumSize(WIDTH, WIDTH);
         setMaximumSize(WIDTH, WIDTH);
+        switch (m_status)
+        {
+        case NodeStatus::SOLVED:
+            setToolTip("Solutions");
+            break;
+        case NodeStatus::FAILED:
+            setToolTip("Failures");
+            break;
+        case NodeStatus::SKIPPED:
+            setToolTip("Skipped");
+            break;
+        case NodeStatus::BRANCH:
+            setToolTip("Branches");
+            break;
+        case NodeStatus::UNDETERMINED:
+            setToolTip("Undetermined");
+            break;
+        case NodeStatus::MERGED:
+            setToolTip("Merged");
+            break;
+        default:
+            break;
+        }
     }
 
     ~NodeWidget()
@@ -91,4 +114,4 @@ class NodeWidget : public QWidget
 };
 
 } // namespace tree
-} // namespace cpprofiler
+} // namespace cpprofiler