[platform-ui-dev] provided patch to rename bookmarks

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

[platform-ui-dev] provided patch to rename bookmarks

From: sdavids@xxxxxx
Date: Tue, 3 Dec 2002 15:05:50 +0100 (MET)
Delivered-to: platform-ui-dev@xxxxxxxxxxx
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>

patch is here:

Bug 13360 [Bookmarks] bookmark: cannot edit in the vertical ruler

-- 
>>[ Sebastian Davids - Email: <sdavids@xxxxxx> ICQ: 2267 
6231 ]<<
>>[ PGP-FP: 0DF6 5D15 6B32 683D 9CC7 287D 4744 D881 B284 
04FE ]<<

+++ GMX - Mail, Messaging & more  http://www.gmx.net +++
NEU: Mit GMX ins Internet. Rund um die Uhr für 1 ct/ Min. surfen!

Prev by Date: Re: [platform-ui-dev] Editor framework question
Next by Date: [platform-ui-dev] new Editor management
Previous by thread: Re: [platform-ui-dev] toolbarPath in org.eclipse.ui.editorActions extension point
Next by thread: Re: [platform-ui-dev] provided patch to rename bookmarks
Index(es):
- Date
- Thread

Breadcrumbs