Home
last modified time | relevance | path

Searched refs:STORE_SORT_TYPE (Results 1 – 1 of 1) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/navigator/
H A DResourceNavigator.java158 private static final String STORE_SORT_TYPE = "ResourceViewer.STORE_SORT_TYPE"; //$NON-NLS-1$ field in ResourceNavigator
887 sortInt = settings.getInt(STORE_SORT_TYPE); in initResourceSorter()
912 sortInt = settings.getInt(STORE_SORT_TYPE); in initResourceComparator()
1290 settings.put(STORE_SORT_TYPE, sorter.getCriteria()); in setSorter()
1314 settings.put(STORE_SORT_TYPE, comparator.getCriteria()); in setComparator()