def setSplitPosition(self, px):
splitElem = self.panel.getSplitElement()
rootElemHeight = DOM.getOffsetHeight(self.panel.container)
splitElemHeight = DOM.getOffsetHeight(splitElem)
# layout not settled, set height to what it _should_ be... yuk.
if splitElemHeight == 0:
splitElemHeight = 7
if rootElemHeight < splitElemHeight:
return
newBottomHeight = rootElemHeight - px - splitElemHeight
if px < 0:
px = 0
newBottomHeight = rootElemHeight - splitElemHeight
elif newBottomHeight < 0:
px = rootElemHeight - splitElemHeight
newBottomHeight = 0
self.updateElements(self.panel.getWidgetElement(0),
splitElem,
self.panel.getWidgetElement(1),
px, px + splitElemHeight, newBottomHeight)
def setSplitPosition(self, px):
splitElem = self.panel.getSplitElement()
rootElemHeight = DOM.getOffsetHeight(self.panel.container)
splitElemHeight = DOM.getOffsetHeight(splitElem)
# layout not settled, set height to what it _should_ be... yuk.
if splitElemHeight == 0:
splitElemHeight = 7
if rootElemHeight < splitElemHeight:
return
newBottomHeight = rootElemHeight - px - splitElemHeight
if px < 0:
px = 0
newBottomHeight = rootElemHeight - splitElemHeight
elif newBottomHeight < 0:
px = rootElemHeight - splitElemHeight
newBottomHeight = 0
self.updateElements(self.panel.getWidgetElement(0), splitElem,
self.panel.getWidgetElement(1), px,
px + splitElemHeight, newBottomHeight)
def onSplitterResizeStarted(self, x, y):
self.initialThumbPos = y
self.initialTopHeight = DOM.getOffsetHeight(self.getWidgetElement(0))
def setSplitPosition(self, pos):
self.lastSplitPosition = pos
topElem = self.getWidgetElement(0)
self.setElemHeight(topElem, pos)
self.impl.setSplitPosition(DOM.getOffsetHeight(topElem))
def onResize(self):
self.setSplitPosition(DOM.getOffsetHeight(self.panel.getWidgetElement(0)))
def onSplitterResizeStarted(self, x, y):
self.initialThumbPos = y
self.initialTopHeight = DOM.getOffsetHeight(self.getWidgetElement(0))
def setSplitPosition(self, pos):
self.lastSplitPosition = pos
topElem = self.getWidgetElement(0)
self.setElemHeight(topElem, pos)
self.impl.setSplitPosition(DOM.getOffsetHeight(topElem))
def onResize(self):
self.setSplitPosition(
DOM.getOffsetHeight(self.panel.getWidgetElement(0)))
