blob: bb47e7531b9d9b665b59fff0dfb5a5e27b3e4b26 [file] [log] [blame]
### Spy message catalog
### Stats View
stats.statIdHeader = Listener/Builder
stats.projectHeader = Project
stats.countHeader = Count
stats.timeHeader = Time
stats.errorsHeader = Errors
#stats.numberOfNotificationsHeader = Notify
#stats.notifcationTimeHeader = Notify Time
#stats.numberOfBuildsHeader = Builds
#stats.buildTimeHeader = Build Time
stats.toolTipText = Builder/Listener Statistics
stats.badStat = Not an EventStats
stats.badColumn = Invalid Column
stats.pluginid = Plug-in Identifier: {0}
### Resource Spy
resource.error_unknown_resource_impl = Error: unknown IResource implementation: {0}
resource.file = File
resource.folder = Folder
resource.project = Project
resource.root = Root
resource.full_path = Full Path
resource.content_id = Content ID
resource.type = Type
resource.node_id = Node ID
resource.local_sync_info = Local Sync Info
resource.persistent_properties = Persistent Properties
resource.error_stored_properties = Error getting resource's stored properties: {0}
resource.session_properties = Session Properties
resource.flags = Flags
resource.open = Open
resource.local_exists = Local exists
resource.local_is_file = Local is file
resource.phantom = Phantom
resource.used = Used
resource.derived = Derived
resource.team_private = Team private
resource.markers_snap_dirty = Marker snapshot is dirty
resource.sync_info_snap_dirty = Sync info snapshot is dirty
resource.no_content_description = No content description
resource.default_content_description = Default content description
resource.content_description = Content description
resource.error_content_description = Error getting file's content description: {0}
resource.content_description_from_cache = cached: {0}
resource.markers = Markers
resource.error_marker = Error getting marker information: {0}
resource.sync_info = Sync information
### Plug-in Dependency Spy
depend.clearContents = Clear contents
depend.badURL = Bad URL:
depend.noInformation = Unable to find information for {0}.
depend.noParentPlugins = Not required by any plug-ins.
depend.requiredBy = Required by:
depend.noChildrenPlugins = Requires no plug-ins.
depend.requires = Requires:
depend.badPluginId = Invalid plug-in id