public int getPosition(int arg1)
public boolean isBreakPoint(int arg1)
public void toggleBreakPoint(int arg1)
public void setBreakPoint(int arg1)
public void clearBreakPoint(int arg1)
public String getUrl()
public void setPosition(int arg1)
public void select(int arg1, int arg2)
public void dispose()
public void actionPerformed(java.awt.event.ActionEvent arg1)