[jdt-ui-dev] released org.eclipse.jdt.ui, org.eclipse.ui

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

[jdt-ui-dev] released org.eclipse.jdt.ui, org.eclipse.ui

From: "Claude Knaus/ZRH/OTI" <Claude_Knaus@xxxxxxx>
Date: Wed, 21 Nov 2001 10:05:55 +0100
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>

partial fix of 4071, still depending on 5471

Format option loses place in editor (1GHQFU6)

http://dev.eclipse.org/bugs/show_bug.cgi?id=4071

Prev by Date: [jdt-ui-dev] getting eclipse to run
Next by Date: [jdt-ui-dev] releases jdt.ui
Previous by thread: [jdt-ui-dev] getting eclipse to run
Next by thread: [jdt-ui-dev] released feature in nls tool
Index(es):
- Date
- Thread

Back to the top