tree 03f00fc90e7718f70038b217950255f145ef054c
parent d868122644e5c227a2f2ac9579634ace561ad8a1
author angelozerr <angelo.zerr@gmail.com> 1528131002 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> 1529649689 -0400

Bug 321410 - [EditorMgmt][navigation] Provide Mini-map of text in editor

Change-Id: If88c7bf0fdd81e2c3540c0cf967288a21410afc6
Signed-off-by: angelozerr <angelo.zerr@gmail.com>