Searched refs:leftPaneWidth (Results 1 – 1 of 1) sorted by relevance
263 int leftPaneWidth = leftWindowWidth+middleWindowWidth; in buildUI() local264 int frameWidth = leftPaneWidth + rightWindowWidth; in buildUI()369 new Dimension( leftPaneWidth + 10, frameHeight+10 )); in buildUI()378 framePane.setDividerLocation(leftPaneWidth+10 ); in buildUI()
Completed in 17 milliseconds