Esempio n. 1
0
 def __init__(self, horizontal, vertical):
     Bin.__init__(self)
     self.view = MiroScrollView.alloc().init()
     self.view.setAutohidesScrollers_(YES)
     self.view.setHasHorizontalScroller_(horizontal)
     self.view.setHasVerticalScroller_(vertical)
     self.document_view = FlippedView.alloc().init()
     self.view.setDocumentView_(self.document_view)
Esempio n. 2
0
 def __init__(self, horizontal, vertical):
     Bin.__init__(self)
     self.view = MiroScrollView.alloc().init()
     self.view.setAutohidesScrollers_(YES)
     self.view.setHasHorizontalScroller_(horizontal)
     self.view.setHasVerticalScroller_(vertical)
     self.document_view = FlippedView.alloc().init()
     self.view.setDocumentView_(self.document_view)
Esempio n. 3
0
 def __init__(self, child):
     Bin.__init__(self)
     if child:
         self.add(child)
     self.label = None
     self.spacing = 0
     self.view = ExpanderView.alloc().init()
     self.button = self.view.button
     self.button.setFrameOrigin_(
         NSPoint(self.BUTTON_PAD_LEFT, self.BUTTON_PAD_TOP))
     self.content_view = self.view.content_view
Esempio n. 4
0
 def __init__(self, child):
     Bin.__init__(self)
     if child:
         self.add(child)
     self.label = None
     self.spacing = 0
     self.view = ExpanderView.alloc().init()
     self.button = self.view.button
     self.button.setFrameOrigin_(NSPoint(self.BUTTON_PAD_LEFT,
         self.BUTTON_PAD_TOP))
     self.content_view = self.view.content_view
Esempio n. 5
0
 def __init__(self, xalign=0.0, yalign=0.0, xscale=0.0, yscale=0.0,
         top_pad=0, bottom_pad=0, left_pad=0, right_pad=0):
     Bin.__init__(self)
     self.xalign = xalign
     self.yalign = yalign
     self.xscale = xscale
     self.yscale = yscale
     self.top_pad = top_pad
     self.bottom_pad = bottom_pad
     self.left_pad = left_pad
     self.right_pad = right_pad
     if self.child is not None:
         self.place_children()
Esempio n. 6
0
File: layout.py Progetto: kmshi/miro
 def __init__(self, xalign=0.0, yalign=0.0, xscale=0.0, yscale=0.0,
         top_pad=0, bottom_pad=0, left_pad=0, right_pad=0):
     Bin.__init__(self)
     self.xalign = xalign
     self.yalign = yalign
     self.xscale = xscale
     self.yscale = yscale
     self.top_pad = top_pad
     self.bottom_pad = bottom_pad
     self.left_pad = left_pad
     self.right_pad = right_pad
     if self.child is not None:
         self.place_children()
Esempio n. 7
0
 def remove_viewport(self):
     Bin.remove_viewport(self)
     if self.label is not None:
         self.label.remove_viewport()
Esempio n. 8
0
 def remove(self):
     child.parent_is_scroller = False
     Bin.remove(self)
Esempio n. 9
0
 def add(self, child):
     child.parent_is_scroller = True
     Bin.add(self, child)
Esempio n. 10
0
 def remove_viewport(self):
     Bin.remove_viewport(self)
     if self.label is not None:
         self.label.remove_viewport()
Esempio n. 11
0
 def remove(self):
     child.parent_is_scroller = False
     Bin.remove(self)
Esempio n. 12
0
 def add(self, child):
     child.parent_is_scroller = True
     Bin.add(self, child)