Searched refs:NAME_INITIAL_STATE (Results 1 – 3 of 3) sorted by relevance
237 public final static QualifiedName NAME_INITIAL_STATE = field in GraphicalEditorPart372 initialState = (String) file.getSessionProperty(NAME_INITIAL_STATE); in createPartControl()375 file.setSessionProperty(NAME_INITIAL_STATE, null); in createPartControl()378 AdtPlugin.log(e, "Can't read session property %1$s", NAME_INITIAL_STATE); in createPartControl()
1192 xmlFile.setSessionProperty(GraphicalEditorPart.NAME_INITIAL_STATE, in showInclude()
315 file.setSessionProperty(GraphicalEditorPart.NAME_INITIAL_STATE, state); in openFile()