Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 539430

Summary:	[code mining] wrong line spacing for line header annotation
Product:	[Eclipse Project] Platform	Reporter:	Angelo ZERR <azerr>
Component:	Text	Assignee:	Angelo ZERR <azerr>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	mistria, sarika.sinha
Version:	4.8
Target Milestone:	4.10 M1
Hardware:	All
OS:	All
See Also:	https://git.eclipse.org/r/129928 https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=67368d55e67253dcc8e3122de09e7fe77486fe8c
Whiteboard:
Bug Depends on:
Bug Blocks:	529127

Description Angelo ZERR

2018-09-25 08:53:00 EDT

In https://bugs.eclipse.org/bugs/show_bug.cgi?id=529127#c31 Sarika has noticed that there were a problem with line spacing of code mining header annotation.

See the following image: In bhttps://bugs.eclipse.org/bugs/attachment.cgi?id=275950

Comment 1 Eclipse Genie

2018-09-25 08:57:10 EDT

New Gerrit change created: https://git.eclipse.org/r/129928

Comment 2 Angelo ZERR

2018-09-25 08:57:55 EDT

@Sarika, @Mickael please review my gerrit patch https://git.eclipse.org/r/#/c/129928/ which should fix https://bugs.eclipse.org/bugs/show_bug.cgi?id=529127#c31

Comment 3 Eclipse Genie

2018-09-25 09:06:06 EDT

Gerrit change https://git.eclipse.org/r/129928 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=67368d55e67253dcc8e3122de09e7fe77486fe8c

Comment 4 Mickael Istria

2018-09-25 09:06:40 EDT

Thanks Angelo!

Comment 5 Angelo ZERR

2018-09-25 09:07:23 EDT

Thanks @Mickael!