Searched refs:PREFS_DISPLAY_HEIGHT (Results 1 – 2 of 2) sorted by relevance
75 static final String PREFS_DISPLAY_HEIGHT = "EventLogPanel.height"; //$NON-NLS-1$ field in EventLogPanel357 store.setDefault(PREFS_DISPLAY_HEIGHT, DEFAULT_DISPLAY_HEIGHT); in createControl()620 int displayHeight = store.getInt(PREFS_DISPLAY_HEIGHT); in createDisplayUi()
385 store.getInt(EventLogPanel.PREFS_DISPLAY_HEIGHT))); in createLeftPanel()390 store.setValue(EventLogPanel.PREFS_DISPLAY_HEIGHT, Integer.parseInt(text)); in createLeftPanel()