Great, that works.  Next question however:

I also need to modify the extension that puts up the source dependency
property page.   The original plugin.xml section looks like this:

<extension
      point="org.eclipse.ui.propertyPages">
   <page
         objectClass="org.eclipse.core.resources.IFile"
         nameFilter="*.clp"
         class="gov.sandia.jess.editor.DependencyPropertyPage"
         name="Source Dependencies"
         id="gov.sandia.jess.editor.dependencyPropertyPage"/>
</extension>

If I modify the nameFilter attribute to say "*.clp,*.pr" it no longer
displays the property page for either extension.  How can I put more
than one extension there?

Thanks,
Mike


On Wed, 8 Dec 2004 09:04:50 -0800 (PST), [EMAIL PROTECTED]
<[EMAIL PROTECTED]> wrote:
> I think Dave Carlson wrote:
> > Try launching eclipse with "-clean" on the command line after making this
> > change.  I'm not certain, but it may clean the plugin configuration cache
> > that causes this problem.
> 
> Fantastic -- that does indeed work. Hmm. Now I know who to ask my
> tough Eclipse questions...
> 
> Hey, Dave, nice to "see" you, by the way. Where have you been?
> 
> 
> 
> ---------------------------------------------------------
> Ernest Friedman-Hill
> Advanced Software Research          Phone: (925) 294-2154
> Sandia National Labs                FAX:   (925) 294-2234
> PO Box 969, MS 9012                 [EMAIL PROTECTED]
> Livermore, CA 94550         http://herzberg.ca.sandia.gov
> 
> --------------------------------------------------------------------
> To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
> in the BODY of a message to [EMAIL PROTECTED], NOT to the list
> (use your own address!) List problems? Notify [EMAIL PROTECTED]
> --------------------------------------------------------------------
> 
>

--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------

Reply via email to