Пример #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)
Пример #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)
Пример #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
Пример #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
Пример #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()
Пример #6
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()
Пример #7
0
 def remove_viewport(self):
     Bin.remove_viewport(self)
     if self.label is not None:
         self.label.remove_viewport()
Пример #8
0
 def remove(self):
     child.parent_is_scroller = False
     Bin.remove(self)
Пример #9
0
 def add(self, child):
     child.parent_is_scroller = True
     Bin.add(self, child)
Пример #10
0
 def remove_viewport(self):
     Bin.remove_viewport(self)
     if self.label is not None:
         self.label.remove_viewport()
Пример #11
0
 def remove(self):
     child.parent_is_scroller = False
     Bin.remove(self)
Пример #12
0
 def add(self, child):
     child.parent_is_scroller = True
     Bin.add(self, child)