if (!(editor instanceof CodeFilesEditor))
{
return;
}
CodeFilesEditor hxEditor = (CodeFilesEditor)editor;
hxEditor.selectAndReveal(offset, length);
}
catch (Exception e)
{
String message = "WorkspaceUtils.jumpToLocation: " + e.getLocalizedMessage();
Activator.logger.error(message);