512856 – Improve highlighting in patch editor

Bug 512856 - Improve highlighting in patch editor

Summary: Improve highlighting in patch editor

Status:	RESOLVED FIXED

Alias:	None

Product:	Platform
Classification:	Eclipse Project
Component:	Team (show other bugs)
Version:	4.7
Hardware:	PC Linux

Importance:	P3 normal (vote)
Target Milestone:	4.7 M6
Assignee:	Nobody - feel free to take it
QA Contact:

URL:
Whiteboard:
Keywords:	noteworthy

Depends on:
Blocks:

Reported:	2017-03-01 01:56 EST by Alexander Kurtakov
Modified:	2017-03-06 12:00 EST (History)
CC List:	1 user (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 Alexander Kurtakov

2017-03-01 01:56:16 EST

There are some crucial parts in a patch file that should pop out from the rest so one can find different sections visually easier. So what about making the lines starting with the following being bold:
@@
+++
---
diff

Comment 1 Eclipse Genie

2017-03-01 03:30:45 EST

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

Comment 2 Nobody - feel free to take it

2017-03-01 03:32:38 EST

With proposed gerrit it looks like https://imgur.com/a/iJsbW (notice bold parts)

Comment 3 Eclipse Genie

2017-03-06 11:59:43 EST

Gerrit change https://git.eclipse.org/r/92059 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.team.git/commit/?id=bf2f6f451d18389afe24218d9b08bc5dce79773b

Comment 4 Lars Vogel

2017-03-06 12:00:06 EST

Thanks Sopot.