539430 – [code mining] wrong line spacing for line header annotation

Bug 539430 - [code mining] wrong line spacing for line header annotation

Summary: [code mining] wrong line spacing for line header annotation

Status:	RESOLVED FIXED

Alias:	None

Product:	Platform
Classification:	Eclipse Project
Component:	Text (show other bugs)
Version:	4.8
Hardware:	All All

Importance:	P3 normal (vote)
Target Milestone:	4.10 M1
Assignee:	Angelo ZERR
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:	529127
	Show dependency tree

Reported:	2018-09-25 08:53 EDT by Angelo ZERR
Modified:	2018-09-25 09:07 EDT (History)
CC List:	2 users (show)

See Also:	Gerrit Change Git Commit

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

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!