@@ -57,7 +57,7 @@ function gauge (win, -- miniwindow ID to draw in
57
57
WindowRectOp (win , 2 , left , top , left + width , top + height , bg_colour ) -- fill entire box
58
58
59
59
-- how big filled part is
60
- local gauge_width = width * Fraction
60
+ local gauge_width = ( width - 2 ) * Fraction
61
61
62
62
-- box size must be > 0 or WindowGradient fills the whole thing
63
63
if math.floor (gauge_width ) > 0 then
@@ -96,11 +96,9 @@ function gauge (win, -- miniwindow ID to draw in
96
96
WindowRectOp (win , 1 , left , top , left + width , top + height , frame_colour )
97
97
98
98
if name and # name > 0 then
99
- -- mouse-over information: add hotspot if not there
100
- if not WindowHotspotInfo (win , name , 1 ) then
99
+ -- mouse-over information: add hotspot
101
100
WindowAddHotspot (win , name , left , top , left + width , top + height ,
102
101
" " , " " , " " , " " , " " , " " , 0 , 0 )
103
- end -- if
104
102
105
103
-- store numeric values in case they mouse over it
106
104
if max then
@@ -167,4 +165,4 @@ local font_height = WindowFontInfo (win, font, 1)
167
165
WindowRectOp (win , 1 , left - 3 , top , left + width + 3 , top + font_height , border_colour ) -- border
168
166
169
167
return width
170
- end -- draw_text_box
168
+ end -- draw_text_box
0 commit comments