|
|
@@ -354,15 +354,6 @@ define [
|
|
|
$scope.gotoEntry = (doc_id, entry) ->
|
|
|
ide.editorManager.openDocId(doc_id, { gotoOffset: entry.offset })
|
|
|
|
|
|
- DOC_ID_NAMES = {}
|
|
|
- $scope.getFileName = (doc_id) ->
|
|
|
- # This is called a lot and is relatively expensive, so cache the result
|
|
|
- if !DOC_ID_NAMES[doc_id]?
|
|
|
- entity = ide.fileTreeManager.findEntityById(doc_id)
|
|
|
- return if !entity?
|
|
|
- DOC_ID_NAMES[doc_id] = ide.fileTreeManager.getEntityPath(entity)
|
|
|
- return DOC_ID_NAMES[doc_id]
|
|
|
-
|
|
|
# TODO: Eventually we need to get this from the server, and update it
|
|
|
# when we get an id we don't know. This'll do for client side testing
|
|
|
refreshUsers = () ->
|