328329330331332333334335336337
docDisplay_.navigateToPosition(position, true); } else if (def.getNamespace() != null) { docDisplay_.recordCurrentNavigationPosition(); eventBus_.fireEvent(new CodeBrowserNavigationEvent( def)); } } }
685686687688689690691692693694695
{ functionName = functionName.substring(0, idx); } // if this is a different source file than we already have open, // open it eventBus_.fireEvent(new CodeBrowserNavigationEvent( SearchPathFunctionDefinition.create( functionName, "debugging", currentBrowseSource_, true),
246247248249250251252253254255256
// if we didn't get a file back see if we got a // search path definition else if (def.getSearchPathFunctionDefinition() != null) { eventBus_.fireEvent(new CodeBrowserNavigationEvent( def.getSearchPathFunctionDefinition())); } } }