Tidied up update_headers

2009-01-10 11:02:29 +00:00 · 2009-01-10 11:02:29 +00:00 · fcd5cd8117
commit fcd5cd8117
parent dbc36cf727
1 changed files with 2 additions and 0 deletions
--- a/src/gui/widgets/timeline/timeline-header-container.cpp
+++ b/src/gui/widgets/timeline/timeline-header-container.cpp
@ -79,6 +79,8 @@ TimelineHeaderContainer::update_headers()
  pair<shared_ptr<model::Track>, shared_ptr<timeline::Track> > pair; 
  BOOST_FOREACH( pair, timelineWidget.trackMap )
    {
+      REQUIRE(pair.first);
+      
      // Set the header's parent widget
      Widget &widget = lookup_timeline_track(pair.first)->
        get_header_widget();