Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] Undo now available from task list, bookmarks view


What is the interlock between creating/deleting markers, and manipulating the resources [potentially] related to markers?

Similarly, if I delete a file, I see that bookmarks for that file get deleted. Will file delete eventually be undoable, and would that bring back the bookmark?

-Randy



Susan M Franklin/Beaverton/IBM@IBMUS
Sent by: platform-ui-dev-bounces@xxxxxxxxxxx

08/22/2006 08:15 PM

Please respond to
"Eclipse Platform UI component developers list." <platform-ui-dev@xxxxxxxxxxx>

To
platform-ui-dev@xxxxxxxxxxx
cc
Subject
[platform-ui-dev] Undo now available from task list, bookmarks view






I've just released code that supports undo of marker operations, such as creating, deleting, and updating tasks and bookmarks.
In tonight's nightly build and beyond (but not in today's I-build), you should be able to undo these operations from both the associated view (task list, bookmark view) as well as the package explorer or resource navigator.


I'd also like to encourage any plug-ins that define their own marker operations to consider adopting this support.  I can help get you started, or in some cases supply patches if I already understand your code.  The API classes are defined in org.eclipse.ui.ide.undo.  They are marked experimental for now. The basic idea for clients is that instead of calling the core.resources API to create, update, or delete a marker, you instead create an undoable operation (such as a CreateMarkersOperation, UpdateMarkersOperation, etc.). that describes what you want to do.  Executing this operation will perform the operation, catch and handle the CoreExceptions, and make the undo for the operation available.


Please see the following bug for more info, and open any new bugs on the feature against Platform UI  with [Undo] in the title.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=7691


thanks,

susan  


_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev


Back to the top