github.remoteURIs
${scope.project.label} GitHub repository protocol
remoteURI
Terminology git
Terminology Wiki Git
<?xml version="1.0" encoding="UTF-8"?>
<section name="Workbench">
<section name="org.eclipse.jdt.internal.ui.packageview.PackageExplorerPart">
<item value="true" key="group_libraries"/>
<item value="true" key="linkWithEditor"/>
<item value="1" key="layout"/>
<item value="2" key="rootMode"/>
<item value="<?xml version="1.0" encoding="UTF-8"?>
<packageExplorer configured="true" group_libraries="1" layout="1" linkWithEditor="1" rootMode="2" sortWorkingSets="false" workingSetName="Aggregate for window 1410521038990">
<localWorkingSetManager>
<workingSet editPageId="org.eclipse.jdt.internal.ui.OthersWorkingSet" factoryID="org.eclipse.ui.internal.WorkingSetFactory" id="1410521909296_3" label="Other Projects" name="Other Projects"/>
</localWorkingSetManager>
<activeWorkingSet workingSetName="Distro"/>
<activeWorkingSet workingSetName="Websearch"/>
<activeWorkingSet workingSetName="Terminology"/>
<activeWorkingSet workingSetName="Exporters"/>
<allWorkingSets workingSetName="Other Projects"/>
<allWorkingSets workingSetName="Distro"/>
<allWorkingSets workingSetName="Websearch"/>
<allWorkingSets workingSetName="Terminology"/>
<allWorkingSets workingSetName="Exporters"/>
<customFilters userDefinedPatternsEnabled="false">
<xmlDefinedFilters>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.LibraryFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.LocalTypesFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.StaticsFilter" isEnabled="false"/>
<child filterId="org.eclipse.pde.ui.ExternalPluginLibrariesFilter1" isEnabled="true"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.ClosedProjectsFilter" isEnabled="true"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.NonSharedProjectsFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.NonJavaElementFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.ContainedLibraryFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.CuAndClassFileFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.NonJavaProjectsFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.internal.ui.PackageExplorer.EmptyInnerPackageFilter" isEnabled="true"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.PackageDeclarationFilter" isEnabled="true"/>
<child filterId="org.eclipse.jdt.internal.ui.PackageExplorer.EmptyPackageFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.ImportDeclarationFilter" isEnabled="true"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.FieldsFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.internal.ui.PackageExplorer.HideInnerClassFilesFilter" isEnabled="true"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.NonPublicFilter" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer_patternFilterId_.*" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.EmptyLibraryContainerFilter" isEnabled="true"/>
<child filterId="org.eclipse.pde.ui.BinaryProjectFilter1" isEnabled="false"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.SyntheticMembersFilter" isEnabled="true"/>
</xmlDefinedFilters>
<lastRecentlyUsedFilters>
<child filterId="org.eclipse.jdt.ui.PackageExplorer.ClosedProjectsFilter"/>
<child filterId="org.eclipse.jdt.ui.PackageExplorer_patternFilterId_.*"/>
</lastRecentlyUsedFilters>
</customFilters>
</packageExplorer>" key="memento"/>
</section>
<section name="JavaElementSearchActions">
</section>
</section>
master
Setup for developing the Xtext Terminology Editor and its components
Make sure to choose the Java and DSL developer version of eclipse