[platform-ui-dev] released org.eclipse.ui

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

[platform-ui-dev] released org.eclipse.ui

From: "Claude Knaus/ZRH/OTI" <Claude_Knaus@xxxxxxx>
Date: Thu, 22 Nov 2001 10:44:21 +0100
List-archive: <http://dev.eclipse.org/pipermail/platform-ui-dev/>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

This post is coming late because I just joined the mailing list :)

fixed:

http://dev.eclipse.org/bugs/show_bug.cgi?id=4225
[JFace Text] EC: bug in undo command (1GLE02N)

Prev by Date: [platform-ui-dev] Loss of Context: Demo of Perspective Changes
Next by Date: Re: [platform-ui-dev] Undo/Redo Proposal
Previous by thread: [platform-ui-dev] Loss of Context: Demo of Perspective Changes
Next by thread: [platform-ui-dev] Hot Key Question and welcome.
Index(es):
- Date
- Thread

Breadcrumbs