Home
last modified time | relevance | path

Searched refs:frameMemento (Results 1 – 3 of 3) 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/framelist/
H A DTreeFrame.java210 IMemento frameMemento = memento.createChild(TAG_FRAME_INPUT); in saveState() local
212 frameMemento.putString(TAG_FACTORY_ID, persistable.getFactoryId()); in saveState()
213 persistable.saveState(frameMemento); in saveState()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.navigator/src/org/eclipse/ui/internal/navigator/framelist/
H A DTreeFrame.java211 IMemento frameMemento = memento.createChild(TAG_FRAME_INPUT); in saveState() local
213 frameMemento.putString(TAG_FACTORY_ID, persistable.getFactoryId()); in saveState()
214 persistable.saveState(frameMemento); in saveState()
/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.java1067 IMemento frameMemento = memento.getChild(TAG_CURRENT_FRAME); in restoreState() local
1069 if (frameMemento != null) { in restoreState()
1071 frame.restoreState(frameMemento); in restoreState()
1148 IMemento frameMemento = memento.createChild(TAG_CURRENT_FRAME); in saveState() local
1149 currentFrame.saveState(frameMemento); in saveState()