some more stuff

2020-08-13 20:20:24 +02:00
parent a566a74ef0
commit 46361ea859
2 changed files with 9 additions and 1 deletions
@@ -230,6 +230,13 @@ void SplitContainer::addSplit(Split *split)

 void SplitContainer::setSelected(Split *split)
 {
+    // safety
+    if (std::find(this->splits_.begin(), this->splits_.end(), split) ==
+        this->splits_.end())
+    {
+        return;
+    }
+
    this->selected_ = split;

    if (Node *node = this->baseNode_.findNodeContainingSplit(split))