| commit | 0d6884b44c5568d164a07bad8b35cb9cd7bde346 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Sat Oct 27 18:00:25 2018 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Nov 29 17:57:37 2018 +0100 |
| tree | 07a3664b45267c84692eb0392df7c7fa6cb859e0 | |
| parent | e722216d8f5d9e7c89df37e570f01ae81369b746 [diff] |
Bug 541714: [SourceEditor] Revise InfoHover / editor hovers
- Let run InfoHover.getHoverInfo always in non-UI thread
supporting also longer running tasks (progress monitor)
- Add use of nullable annotations
Change-Id: Ic6016bc34ca1930c5a10016599153374bd06189c