Menu

#39 Adjustment to dependencies in Metric's plugin.xml

open
None
5
2004-05-14
2004-05-06
No

Attaching patch which contains two changes:

1) org.junit dependency is optional as I believe it is not
required at all in runtime and Metrics can in practice
operate without that

2) org.eclipse.ui.workbench is exported, so that plugins
that access MetricsPlugin class do not need to declare
this dependency themselves when they really don't
require the workbench plugin (this is again related to
eventual splitting the UI and non-UI portions of Metrics)

Discussion

  • Ondrej Chylik

    Ondrej Chylik - 2004-05-06

    Patch to plugin.xml covering the request

     
  • Ondrej Chylik

    Ondrej Chylik - 2004-05-06

    Logged In: YES
    user_id=1004492

    I've just found out that the org.eclipse.jface dependency
    should also be reexported. This change is not included in the
    original patch.

     
  • Frank Sauer

    Frank Sauer - 2004-05-14
    • assigned_to: nobody --> sauerf
     

Log in to post a comment.

MongoDB Logo MongoDB