Revision 41136 trunk/org.gvsig.desktop/org.gvsig.desktop.plugin/org.gvsig.coreplugin.app/org.gvsig.coreplugin.app.mainplugin/src/main/java/org/gvsig/coreplugin/PreferencesExtension.java
PreferencesExtension.java | ||
---|---|---|
38 | 38 |
import org.gvsig.andami.preferences.IPreferenceExtension; |
39 | 39 |
import org.gvsig.coreplugin.preferences.general.AppearancePage; |
40 | 40 |
import org.gvsig.coreplugin.preferences.general.BrowserControlPage; |
41 |
import org.gvsig.coreplugin.preferences.general.DirExtensionsPage; |
|
42 | 41 |
import org.gvsig.coreplugin.preferences.general.ExtensionPage; |
43 | 42 |
import org.gvsig.coreplugin.preferences.general.ExtensionsPage; |
44 | 43 |
import org.gvsig.coreplugin.preferences.general.FolderingPage; |
... | ... | |
146 | 145 |
ep.append("GeneralPage", "", new GeneralPage()); |
147 | 146 |
ep.append("NetworkPage", "", new NetworkPage()); |
148 | 147 |
ep.append("FirewallPage", "", new FirewallPage()); |
149 |
ep.append("DirExtensionsPage", "", new DirExtensionsPage()); |
|
150 | 148 |
ep.append("LanguagePage", "", new LanguagePage()); |
151 | 149 |
ep.append("ExtensionsPage", "", new ExtensionsPage()); |
152 | 150 |
ep.append("AppearancePage", "", new AppearancePage()); |
... | ... | |
158 | 156 |
// this.extensionPoints.add("AplicationPreferences","GeneralPage", new GeneralPage()); |
159 | 157 |
// this.extensionPoints.add("AplicationPreferences","NetworkPage", new NetworkPage()); |
160 | 158 |
// this.extensionPoints.add("AplicationPreferences","FirewallPage", new FirewallPage()); |
161 |
// this.extensionPoints.add("AplicationPreferences","DirExtensionsPage", new DirExtensionsPage()); |
|
162 | 159 |
// this.extensionPoints.add("AplicationPreferences","LanguagePage", new LanguagePage()); |
163 | 160 |
// this.extensionPoints.add("AplicationPreferences","ExtensionsPage", new ExtensionsPage()); |
164 | 161 |
// this.extensionPoints.add("AplicationPreferences","AppearancePage", new AppearancePage()); |
Also available in: Unified diff