final String typeString = historyList.getSelectedValue ().toString ();
source.replaceRange ( typeString, content.getBegin (), content.getEnd () );
typeChooser.dispose ();
}
};
historyList.addMouseListener ( new MouseAdapter ()
{
@Override
public void mouseReleased ( final MouseEvent e )
{
commitChanges.run ();