Summary: | Extending undo/redo does not work anymore | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Udo Walker <udo.walker> |
Component: | UI | Assignee: | Platform-UI-Inbox <Platform-UI-Inbox> |
Status: | NEW --- | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | rolf.theunissen |
Version: | 4.21 | ||
Target Milestone: | --- | ||
Hardware: | PC | ||
OS: | Windows 10 | ||
Whiteboard: |
Description
Udo Walker
2021-06-25 11:18:19 EDT
Would you be able to make a small example plugin that shows the problem? The redo/undo retargeting seems to work for all current editors in Eclipse, it would be very had to reproduce your problem without the example. |