K 25
svn:wc:ra_dav:version-url
V 129
/repos/protege/!svn/ver/17287/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace
END
WorkspaceTab.java
K 25
svn:wc:ra_dav:version-url
V 147
/repos/protege/!svn/ver/17276/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceTab.java
END
WorkspaceTabPluginJPFImpl.java
K 25
svn:wc:ra_dav:version-url
V 160
/repos/protege/!svn/ver/17287/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceTabPluginJPFImpl.java
END
WorkspaceViewsTab.java
K 25
svn:wc:ra_dav:version-url
V 152
/repos/protege/!svn/ver/17276/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceViewsTab.java
END
CustomWorkspaceTabsManager.java
K 25
svn:wc:ra_dav:version-url
V 161
/repos/protege/!svn/ver/17276/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/CustomWorkspaceTabsManager.java
END
TabbedWorkspace.java
K 25
svn:wc:ra_dav:version-url
V 150
/repos/protege/!svn/ver/17276/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/TabbedWorkspace.java
END
WorkspaceFrame.java
K 25
svn:wc:ra_dav:version-url
V 149
/repos/protege/!svn/ver/17276/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceFrame.java
END
WorkspaceManager.java
K 25
svn:wc:ra_dav:version-url
V 151
/repos/protege/!svn/ver/16086/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceManager.java
END
WorkspaceTabPluginLoader.java
K 25
svn:wc:ra_dav:version-url
V 159
/repos/protege/!svn/ver/16086/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceTabPluginLoader.java
END
TabbedWorkspaceStateManager.java
K 25
svn:wc:ra_dav:version-url
V 162
/repos/protege/!svn/ver/17277/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/TabbedWorkspaceStateManager.java
END
Workspace.java
K 25
svn:wc:ra_dav:version-url
V 144
/repos/protege/!svn/ver/17287/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/Workspace.java
END
WorkspaceTabPlugin.java
K 25
svn:wc:ra_dav:version-url
V 153
/repos/protege/!svn/ver/16086/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceTabPlugin.java
END
WorkspaceViewManager.java
K 25
svn:wc:ra_dav:version-url
V 155
/repos/protege/!svn/ver/16086/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/ui/workspace/WorkspaceViewManager.java
END
