23 	def __init__(self, sched_tracer, title, parent = None, id = -1):  argument
65 	def us_to_px(self, val):  argument
68 	def px_to_us(self, val):  argument
71 	def scroll_start(self):  argument
75 	def scroll_start_us(self):  argument
79 	def paint_rectangle_zone(self, nr, color, top_color, start, end):  argument
103 	def update_rectangles(self, dc, start, end):  argument
108 	def on_paint(self, event):  argument
118 	def rect_from_ypixel(self, y):  argument
128 	def update_summary(self, txt):  argument
134 	def on_mouse_down(self, event):  argument
145 	def update_width_virtual(self):  argument
148 	def __zoom(self, x):  argument
155 	def zoom_in(self):  argument
160 	def zoom_out(self):  argument
166 	def on_key_press(self, event):  argument