From 317008bac93a797279be2265f40626cc772da353 Mon Sep 17 00:00:00 2001 From: Joel Holdsworth Date: Mon, 30 Sep 2013 21:19:38 +0900 Subject: [PATCH] Don't attempt to set the value if TimeMarker::_value_widget has not been created --- pv/view/timemarker.cpp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/pv/view/timemarker.cpp b/pv/view/timemarker.cpp index 5fd75dd8..e40c393b 100644 --- a/pv/view/timemarker.cpp +++ b/pv/view/timemarker.cpp @@ -47,9 +47,13 @@ double TimeMarker::time() const void TimeMarker::set_time(double time) { _time = time; - _updating_value_widget = true; - _value_widget->setValue(time); - _updating_value_widget = false; + + if (_value_widget) { + _updating_value_widget = true; + _value_widget->setValue(time); + _updating_value_widget = false; + } + time_changed(); } -- 2.30.2