{
connectionSelected(8);
}
else if(e.getSource() == opts)
{
AdvancedOptions adv = new AdvancedOptions();
jftp.addToDesktop("Advanced Options", adv, 500, 180);
jftp.setLocation(adv.hashCode(), 110, 180);
}
else if(e.getSource() == manage)
{
BookmarkManager m = new BookmarkManager();
JFtp.desktop.add(m, new Integer(Integer.MAX_VALUE - 10));