| commit | 4f0f856d19868f583a884849ae1f0fe05f87b909 | [log] [tgz] |
|---|---|---|
| author | Lars Vogel <Lars.Vogel@vogella.com> | Fri Feb 05 12:10:08 2021 +0100 |
| committer | Lars Vogel <Lars.Vogel@vogella.com> | Fri Feb 12 02:59:41 2021 -0500 |
| tree | cf8c0cc0b60afa5f277b7ade9044e98b9fdadaf6 | |
| parent | 342b7a591064638657b6f7f23b77f1e8f8cf8939 [diff] |
Bug 570952 - Use new atomic marker creation API in MarkerHighlighter The new marker API from Bug 570914 allows to create markers with attributes and therefore avoids sending out resource change events for every attribute change. Also updates the required min resource API version as 3.14 defines the new API. Change-Id: Ifd6b2bc3e6205d45067f9bc1059dd5b921504e8d Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>