mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Fix initialization of PE view options

Browse source
This commit is contained in:
Anton Leherbauer 2008-05-23 12:44:21 +00:00
parent d1dd70ab0b
commit 583077dbfa
1 changed files with 21 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/navigator/CNavigatorContentProvider.java
View file

@ -124,14 +124,15 @@ public class CNavigatorContentProvider extends CViewContentProvider implements I
boolean showCUChildren= store.getBoolean(PreferenceConstants.PREF_SHOW_CU_CHILDREN);
boolean groupIncludes= store.getBoolean(PreferenceConstants.CVIEW_GROUP_INCLUDES);
if (memento != null) {
String mementoValue= memento.getString(PreferenceConstants.PREF_SHOW_CU_CHILDREN);
if (mementoValue != null) {
showCUChildren= Boolean.valueOf(mementoValue).booleanValue();
}
mementoValue= memento.getString(PreferenceConstants.CVIEW_GROUP_INCLUDES);
if (mementoValue != null) {
groupIncludes= Boolean.valueOf(mementoValue).booleanValue();
}
// options controlled by preference only
// String mementoValue= memento.getString(PreferenceConstants.PREF_SHOW_CU_CHILDREN);
// if (mementoValue != null) {
// showCUChildren= Boolean.valueOf(mementoValue).booleanValue();
// }
// mementoValue= memento.getString(PreferenceConstants.CVIEW_GROUP_INCLUDES);
// if (mementoValue != null) {
// groupIncludes= Boolean.valueOf(mementoValue).booleanValue();
// }
// old workaround for https://bugs.eclipse.org/bugs/show_bug.cgi?id=186344
Integer value= memento.getInteger(LINKING_ENABLED_DELAYED);
fLinkingEnabledDelayed= value != null && value.intValue() != 0;