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

In the code I just released, the relationship is that as long as the resource containing the marker exists, and the marker exists, then the undo is still valid.

File delete should eventually be undoable, and that should bring back the bookmark, all as one atomic operation.  
My next task is working on undo of resource-level operations.  I wanted to get something smaller out there first rather than wait for the whole story to be there.

See also


Randy Hudson/Raleigh/IBM@IBMUS
Sent by: platform-ui-dev-bounces@xxxxxxxxxxx

08/23/2006 07:40 AM
Please respond to "Eclipse Platform UI component developers list."

        To:        "Eclipse Platform UI component developers list." <platform-ui-dev@xxxxxxxxxxx>
        Subject:        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?


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>

[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.



platform-ui-dev mailing list

platform-ui-dev mailing list

Back to the top