events.addHandler(CodeBrowserFinishedEvent.TYPE, this);
events.addHandler(CodeBrowserHighlightEvent.TYPE, this);
events.addHandler(FileTypeChangedEvent.TYPE, new FileTypeChangedHandler()
{
public void onFileTypeChanged(FileTypeChangedEvent event)
{
manageCommands();
}