util/minorview/view.py

53     """The canvas view of the pipeline"""
76         # Offset of this view's time from self.time used for miniviews
80         # Maximum view size for initial window mapping
96         """Add a BlobController to this view"""
100         """Draw the view to a PNG file"""
142         """Redraw the whole view"""
164         """Set the time index for the view.  A time index is an index into
187     def __init__(self, model, view,
190         self.view = view
228         self.view.dataSelect.ids = set("SPLFE")
264                 self.view.dataSelect.ids.add(id)
266                 self.view.dataSelect.ids.discard(id)
269             if len(self.view.dataSelect.ids) == 0:
270                 self.view.dataSelect.ids.add(id)
272             self.view.redraw()
276         """Set the time index in the view"""
277         self.view.set_time_index(time)
279         for view in self.otherViews:
280             view.set_time_index(time)
281             view.redraw()
283         self.timeEntry.set_text(str(self.view.time))
288         self.view.redraw()
293         self.view.redraw()
297         self.set_time_index(min(self.view.timeIndex + 1,
299         self.view.redraw()
304         self.set_time_index(max(self.view.timeIndex - 1, 0))
305         self.view.redraw()
312         self.view.redraw()
317             or self.view.timeIndex == len(self.model.times) - 1:
340             self.view.timeIndex))
341         self.view.redraw()
345     def __init__(self, model, view, point, blob):
347         self.view = view
354             self.view.time)
366         cr.set_line_width(self.view.thinLineWidth)
367         cr.translate(*(Point(0.0,0.0) - self.view.origin).to_pair())
368         cr.scale(*(Point(1.0,1.0) / self.view.masterScale).to_pair())
418                 id_size, inst.id.to_striped_block(self.view.dataSelect))
434     def __init__(self, model, view, controller):
436         self.view = view
452         self.vbox.add(self.view.da)
475                 'at time', self.view.time
491             for blob, centre, size in self.view.positions:
494                         self.view.time)
497                             overlay = Overlay(self.model, self.view, point,
501                 self.view.overlays = [overlay]
503                 self.view.overlays = []
505             self.view.redraw()
508         self.view.set_da_size()
509         self.view.da.add_events(gtk.gdk.BUTTON_PRESS_MASK)
510         self.view.da.connect('button-press-event', clicked_da)
516             proportion = size / self.view.get_pic_size()
519             self.view.masterScale = Point(daScale, daScale)
520             self.view.overlays = []
522         self.view.da.connect('configure-event', resize)