Searched refs:rightWindowWidth (Results 1 – 1 of 1) sorted by relevance
262 int rightWindowWidth = leftWindowWidth; in buildUI() local264 int frameWidth = leftPaneWidth + rightWindowWidth; in buildUI()307 new Dimension( rightWindowWidth, frameHeight )); in buildUI()
Completed in 15 milliseconds