From 8285daec39a4ff211f319a2480547166884fb2f1 Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@joel-desktop.(none)>
Date: Fri, 2 Jan 2009 00:44:10 +0000
Subject: [PATCH] Added more strictness to the use of read_styles

---
 src/gui/widgets/timeline/timeline-header-container.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/gui/widgets/timeline/timeline-header-container.cpp b/src/gui/widgets/timeline/timeline-header-container.cpp
index e2445c67e..4ac26b9e5 100644
--- a/src/gui/widgets/timeline/timeline-header-container.cpp
+++ b/src/gui/widgets/timeline/timeline-header-container.cpp
@@ -311,6 +311,7 @@ void
 TimelineHeaderContainer::layout_headers()
 { 
   REQUIRE(timelineWidget != NULL);
+  REQUIRE(margin >= 0); // read_styles must have been called before now
 
   // We can't layout before the widget has been set up
   if(!gdkWindow)
@@ -568,7 +569,10 @@ void
 TimelineHeaderContainer::read_styles()
 {
   if(margin <= 0)
-    get_style_property("heading_margin", margin);
+    {
+      get_style_property("heading_margin", margin);
+      margin = max(margin, 0);
+    }
   else 
     WARN(gui, "TimelineHeaderContainer::read_styles()"
       " should only be called once");