@ -11,6 +11,7 @@ local ProgressWidget = Widget:new{
margin_v = 1 ,
margin_v = 1 ,
radius = 2 ,
radius = 2 ,
bordersize = 1 ,
bordersize = 1 ,
toc_marker_width = DMINIBAR_TOC_MARKER_WIDTH ,
bordercolor = 15 ,
bordercolor = 15 ,
bgcolor = 0 ,
bgcolor = 0 ,
rectcolor = 10 ,
rectcolor = 10 ,
@ -28,7 +29,7 @@ function ProgressWidget:paintTo(bb, x, y)
self.dimen = Geom : new {
self.dimen = Geom : new {
x = x , y = y ,
x = x , y = y ,
w = my_size.w ,
w = my_size.w ,
h = my_size.h
h = my_size.h
}
}
bb : paintRoundedRect ( x , y , my_size.w , my_size.h , self.bgcolor , self.radius )
bb : paintRoundedRect ( x , y , my_size.w , my_size.h , self.bgcolor , self.radius )
bb : paintBorder ( x , y , my_size.w , my_size.h ,
bb : paintBorder ( x , y , my_size.w , my_size.h ,
@ -41,7 +42,7 @@ function ProgressWidget:paintTo(bb, x, y)
for i = 1 , # self.TOC do
for i = 1 , # self.TOC do
v = self.TOC [ i ]
v = self.TOC [ i ]
bb : paintRect ( x + ( my_size.w - 2 * self.margin_h ) * ( v.page / self.last ) , y + self.margin_v + self.bordersize ,
bb : paintRect ( x + ( my_size.w - 2 * self.margin_h ) * ( v.page / self.last ) , y + self.margin_v + self.bordersize ,
2 , ( my_size.h - 2 * ( self.margin_v + self.bordersize ) ) , self.bordercolor )
self.toc_marker_width , ( my_size.h - 2 * ( self.margin_v + self.bordersize ) ) , self.bordercolor )
end
end
end
end
end
end