Re: [jdt-ui-dev] releases jdt.ui

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

Re: [jdt-ui-dev] releases jdt.ui

From: Claude_Knaus@xxxxxxx
Date: Wed, 19 Dec 2001 11:45:47 +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>

refixed this bug.
the change didn't make into I-20011218.

Claude_Knaus@xxxxxxx
Sent by: jdt-ui-dev-admin@xxxxxxxxxxx

18.12.2001 14:41
Please respond to jdt-ui-dev

To: jdt-ui-dev@xxxxxxxxxxx
cc:
Subject: [jdt-ui-dev] releases jdt.ui

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

Java editor is slow to delete in a file with lots of fields

Prev by Date: [jdt-ui-dev] releases jdt.ui
Next by Date: [jdt-ui-dev] Released to HEAD
Previous by thread: [jdt-ui-dev] releases jdt.ui
Next by thread: [jdt-ui-dev] releases jdt.ui
Index(es):
- Date
- Thread

Back to the top