| commit | 89f99c5714de180b41d031dc47c04ddf69044b87 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Mar 18 09:35:55 2021 +0100 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Mar 18 12:13:12 2021 +0100 |
| tree | 0b06dd8568b293f3b7ffd52ef08ae124fa1911db | |
| parent | 54a835dde563579d364de34d56ca90c9c61bb0ac [diff] |
Bug 572002: Make use of IResource.createMarker(type, attribute) added in Platform 4.19 - Improve update of breakpoint markers Change-Id: Ib8ebe549651023df1c39daf5ce64a3158b9a0020