[jdt-ui-dev] jdt-ui HEAD needs text plug-ins HEAD

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

[jdt-ui-dev] jdt-ui HEAD needs text plug-ins HEAD

From: Tom Eicher <eclipse@xxxxxxxxxxxxxxx>
Date: Wed, 14 Apr 2004 16:27:16 +0200
Delivered-to: jdt-ui-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/jdt-ui-dev/>
List-help: <mailto:jdt-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=unsubscribe>
Organization: IBM OTI Labs
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113

jdt-ui HEAD needs HEAD of the following plug-ins:

org.eclipse.text
org.eclipse.jface.text
org.eclipse.ui.workbench.texteditor

-tom

Prev by Date: [jdt-ui-dev] Removed Internal 'return' Syntax Coloring Property
Next by Date: [jdt-ui-dev] Harmonization of Java Model and DOM AST heuristics to get extended source range
Previous by thread: [jdt-ui-dev] Removed Internal 'return' Syntax Coloring Property
Next by thread: [jdt-ui-dev] Harmonization of Java Model and DOM AST heuristics to get extended source range
Index(es):
- Date
- Thread

Back to the top