/* (non-Javadoc)
* @see edu.umd.cs.findbugs.gui2.LayoutManager#setSourceTitle(java.lang.String)
*/
public void setSourceTitle(final String title) {
sourceView.getWindowProperties().setTitleProvider(new DockingWindowTitleProvider(){
public String getTitle(DockingWindow arg0) {
return title;
}
});
}