[news.eclipse.tools] Re: Getting a preference page

[jamsden@xxxxxxxxxx]

Thanks Randy, that fixed it. But the page in the node was null. I had to:

    com.ibm.jface.preference.IPreferenceNode preferenceNode =
        WorkbenchPlugin.getDefault().getPreferenceManager().find(
            "com.ibm.eclipse.examples.formeditor.formPreferencesPage");
    preferencesPage = (FormPreferencesPage)preferenceNode.getPage();
    if (preferencesPage == null) {
        preferenceNode.createPage();
        preferencesPage = (FormPreferencesPage)preferenceNode.getPage();
    }
 
Should getPage() lazily create the page if its null so callers don't have 
to check?