diff options
author | Chenhui Xu | 2020-11-16 10:22:07 +0000 |
---|---|---|
committer | Chenhui Xu | 2020-11-16 10:27:44 +0000 |
commit | 88182cb588e2a0d985b4dcaf1614f1e0fe7b068b (patch) | |
tree | 5b8f64bcb4d58dbbb9655bd6594160fa2ff0bfc5 | |
parent | 3d463e2e4c4d9b548f327e52c3872177f3480d82 (diff) | |
download | eclipse.platform.text-88182cb588e2a0d985b4dcaf1614f1e0fe7b068b.tar.gz eclipse.platform.text-88182cb588e2a0d985b4dcaf1614f1e0fe7b068b.tar.xz eclipse.platform.text-88182cb588e2a0d985b4dcaf1614f1e0fe7b068b.zip |
Search dialog should remember last tab used by defaultY20201117-1200S4_18_0_M3I20201120-0320I20201119-0730I20201118-1800I20201118-0600I20201117-1800I20201117-0600I20201116-1800I20201116-0600
Enable the remember last used page as default. User can change that via
the preferences.
bug: 13129
Change-Id: I4a353cbabe3400e5ee705abb2279ccf5a5ddd35f
Signed-off-by: Chenhui Xu <chenhuixu1999@gmail.com>
-rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPreferencePage.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPreferencePage.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPreferencePage.java index 051ffed250c..e2712ea7d3e 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPreferencePage.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPreferencePage.java @@ -83,7 +83,7 @@ public class SearchPreferencePage extends FieldEditorPreferencePage implements I RGB gray= new RGB(85, 85, 85); store.setDefault(EMPHASIZE_POTENTIAL_MATCHES, true); store.setDefault(IGNORE_POTENTIAL_MATCHES, false); - store.setDefault(REMEMBER_LAST_USED_PAGE, false); + store.setDefault(REMEMBER_LAST_USED_PAGE, true); PreferenceConverter.setDefault(store, POTENTIAL_MATCH_FG_COLOR, gray); store.setDefault(REUSE_EDITOR, true); store.setDefault(BRING_VIEW_TO_FRONT, true); |