PluginFlyoutPreferences.java | 22 private final IPreferenceStore m_store; field in class:PluginFlyoutPreferences 33 m_store = store; 48 m_store.setDefault(m_dockLocationKey, location); 49 m_store.setDefault(m_stateKey, state); 50 m_store.setDefault(m_widthKey, width); 59 return m_store.getInt(m_dockLocationKey); 63 return m_store.getInt(m_stateKey); 67 return m_store.getInt(m_widthKey); 71 m_store.setValue(m_dockLocationKey, location); 75 m_store.setValue(m_stateKey, state) [all...] |