84c84 < selectedView = null; --- > setActiveDrawingView(null); 113c113 < selectedView = dv; --- > setActiveDrawingView(dv); 165a166 > 195a197,204 > protected void setActiveDrawingView(DrawingView newSelectedView) { > selectedView = newSelectedView; > } > > public void updateTitle(String newDrawingTitle) { > getSelectedFrame().setTitle(newDrawingTitle); > } > 281c290 < --- > /* 298c307 < --- > */ 326c335 < ((JInternalFrame)allFrames[i]).setMaximum(false); --- > allFrames[i].setMaximum(false); 595c604 < if (scrollPane == null) { --- > if ((scrollPane == null) || (getScrollPane().getBorder() == null)) { 598c607,609 < else return getScrollPane().getBorder().getBorderInsets(scrollPane); --- > else { > return getScrollPane().getBorder().getBorderInsets(scrollPane); > }