388389390391392393394395396397398
generateTreeTitles(); setDirty(false, false); m_sourceTreeComponent.setDropStrategy(new SourceTreeFileDropStrategy(this)); AdjustmentListener adjustmentListener = new AdjustmentListener() { @Override public void adjustmentValueChanged(AdjustmentEvent e) { m_mapArea.repaint();