[jdt-dev] New optional attribute in JavaEditorTextHover extension-point

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[jdt-dev] New optional attribute in JavaEditorTextHover extension-point

From: "Daniel Megert" <Daniel_Megert@xxxxxxx>
Date: Wed, 6 Nov 2002 12:29:23 +0100
Delivered-to: jdt-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/jdt-dev/>
List-help: <mailto:jdt-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=unsubscribe>

The JDT UI extension point "org.eclipse.jdt.ui.javaEditorTextHovers" has a
new optional attribute called "label". This is used in the UI to configure
the JDT hovers. The simple class name of the contribution is shown if no
label is provided.

Those extending above extension point are advised to use assign a
meaningful name to their hover.

Dani

Prev by Date: [jdt-dev] need your help
Next by Date: [jdt-dev] .classpath exists
Previous by thread: [jdt-dev] need your help
Next by thread: [jdt-dev] .classpath exists
Index(es):
- Date
- Thread

Breadcrumbs