diff options
author | angelozerr | 2018-09-28 13:36:59 +0000 |
---|---|---|
committer | Angelo ZERR | 2018-11-16 15:13:54 +0000 |
commit | 222b86399d8e37507e6b00f0c11ef2f8f0bd0c6b (patch) | |
tree | cac5f4fe79481e3a4042e57a51aa4a9f83b1a535 /org.eclipse.ui.genericeditor.examples/about.html | |
parent | f5e429604d63d8b053effc10503065c3eb00923c (diff) | |
download | eclipse.platform.text-I20181119-0600.tar.gz eclipse.platform.text-I20181119-0600.tar.xz eclipse.platform.text-I20181119-0600.zip |
Bug 539624 - [codemining] Improve drastically draw of inlined headerI20181119-0600I20181118-1800I20181118-0600I20181117-1800
annotation by using StyledText#setLineVerticalIndent
Change-Id: Id9d62c1d59e26fc0bcf4327e77d37c3c8dcb129f
Signed-off-by: angelozerr <angelo.zerr@gmail.com>
Diffstat (limited to 'org.eclipse.ui.genericeditor.examples/about.html')
0 files changed, 0 insertions, 0 deletions