Searched refs:frameHeight (Results 1 – 1 of 1) sorted by relevance
259 int frameHeight = height-40; in buildUI() local303 new Dimension( leftWindowWidth, frameHeight )); in buildUI()305 new Dimension( middleWindowWidth, frameHeight )); in buildUI()307 new Dimension( rightWindowWidth, frameHeight )); in buildUI()337 leftPane.setDividerLocation( frameHeight*2/3 ); in buildUI()339 new Dimension( leftWindowWidth, frameHeight )); in buildUI()357 middlePane.setDividerLocation( frameHeight/2+5 ); in buildUI()359 new Dimension( middleWindowWidth, frameHeight )); in buildUI()369 new Dimension( leftPaneWidth + 10, frameHeight+10 )); in buildUI()380 new Dimension( frameWidth + 20, frameHeight+10 )); in buildUI()
Completed in 8 milliseconds