benn/lumiera_documentation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added more strictness to the use of read_styles

Browse source
This commit is contained in:
Joel Holdsworth 2009-01-02 00:44:10 +00:00
parent 85d6a19dd4
commit 8285daec39
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/gui/widgets/timeline/timeline-header-container.cpp
View file

@ -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");