| package org.eclipse.ui.internal.dialogs; | |
| /* | |
| * (c) Copyright IBM Corp. 2000, 2001. | |
| * All Rights Reserved. | |
| */ | |
| import org.eclipse.jface.preference.*; | |
| /** | |
| * This class is created to avoid mentioning preferences | |
| * in this context. Ideally, JFace preference classes should be | |
| * renamed into something more generic (for example, | |
| * 'TreeNavigationDialog'). | |
| */ | |
| public class PropertyPageManager extends PreferenceManager { | |
| /** | |
| * The constructor. | |
| */ | |
| public PropertyPageManager() { | |
| super(); | |
| } | |
| } |