138a139,145 > > /** > * Set the title of the currently selected drawing > */ > protected void setDrawingTitle(String drawingTitle) { > getDesktop().updateTitle(drawingTitle); > }