| commit | 3d463e2e4c4d9b548f327e52c3872177f3480d82 | [log] [tgz] |
|---|---|---|
| author | Chenhui Xu <c.xu@jacobs-university.de> | Sun Nov 15 21:51:38 2020 +0100 |
| committer | Chenhui Xu <c.xu@jacobs-university.de> | Mon Nov 16 08:51:13 2020 +0100 |
| tree | 3e5c18d1ba63f731fe365c9edb80ebf232b4267d | |
| parent | 50799eaf689319a9495eec354533f9eace8eea97 [diff] |
Move rememberLastUsedPage button to SearchPreferencePage To make the setting intuitive, this change moves the rememberLastUsedPage button from Customize area to search preference page. User can go to system preference to decide if the last used page of search should be remembered. Bug: 568786 Change-Id: Id6cdbba9b36cdf6eeba839b67d5beb1fa952a58b Signed-off-by: Chenhui Xu <chenhui.xu@vogella.com>