fe4e246aa857e134597230542b341a6261a1e6ba - gerrit

commit: fe4e246aa857e134597230542b341a6261a1e6ba
[log]
author: Michael Zhou <moz@google.com>
Wed Jul 10 17:41:31 2013 -0700
committer: Michael Zhou <moz@google.com>
Thu Jul 11 15:54:53 2013 -0700
tree: 58529c8d533efa98b478f851faec57fafba2d5b7
parent: 595d6f65f592c019e43ce1712748cd98580741d0 [diff]

Add addon to highlight trailing whitespace

Added edit/trailingspace.js to highlight trailing whitespace
in red.

Fixed to not highlight active line when something is selected.

Change-Id: Ife3e0939f6fed0bf8e3a07a80337750880731f54

gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/CodeMirrorDemo.java[diff]
gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/DiffTable.ui.xml[diff]
gerrit-gwtui/src/main/java/net/codemirror/addon/Addons.java[diff]
gerrit-gwtui/src/main/java/net/codemirror/lib/CodeMirror.java[diff]
gerrit-gwtui/src/main/java/net/codemirror/lib/Loader.java[diff]

5 files changed