From d497a971db00f7440e252c005ef46a580cf76040 Mon Sep 17 00:00:00 2001 From: Marcos Pinto Date: Fri, 4 Jan 2008 23:59:54 +0000 Subject: [PATCH] fix cast oops --- src/tab_details.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tab_details.py b/src/tab_details.py index 305ff84ef..cd96ecc4d 100644 --- a/src/tab_details.py +++ b/src/tab_details.py @@ -92,7 +92,7 @@ class DetailsTabManager(object): state = self.last_state if state != None: gc.set_foreground(colormap.alloc_color('#2020FF')) - progress_window.draw_rectangle(gc, True, 0, top, size[0] * state['progress'], 4) + progress_window.draw_rectangle(gc, True, 0, top, int(size[0] * state['progress']), 4) num_pieces = state["num_pieces"] for pieces_range in state['pieces']: range_first = pieces_range[0] * size[0] / num_pieces