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 onResize(self): self.setSplitPosition( DOM.getOffsetHeight(self.panel.getWidgetElement(0)))