commit | 50344bb1617ad3ddfc2ccd986c8d0262152349cf | [log] [tgz] |
---|---|---|
author | Eike Stepper <stepper@esc-net.de> | Wed Nov 23 18:21:06 2022 +0100 |
committer | Eike Stepper <stepper@esc-net.de> | Wed Nov 23 18:21:06 2022 +0100 |
tree | fe7d22f488c5dee49ee1fd8d0d0e5ef75831884a | |
parent | 851b1e1dc003d730e0d420d02e7d3cc4ce1a423c [diff] |
[581112] [UI] CDOEditor fails if the editor's resource disappears on ViewTargetChange https://bugs.eclipse.org/bugs/show_bug.cgi?id=581112