From 53610e9157c3133b5ab933647c711309272222fb Mon Sep 17 00:00:00 2001 From: Jason N Date: Mon, 13 Feb 2023 10:19:18 +1100 Subject: [PATCH] Add tooltips to CP-Profiler symbols --- .../src/cpprofiler/tree/node_widget.hh | 25 ++++++++++++++++++- 1 file changed, 24 insertions(+), 1 deletion(-) diff --git a/cp-profiler/src/cpprofiler/tree/node_widget.hh b/cp-profiler/src/cpprofiler/tree/node_widget.hh index 4439c28..265b709 100644 --- 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 \ No newline at end of file +} // namespace cpprofiler