Tom
2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b
refs
author Tom <tw201207@gmail.com>
Tuesday, October 28, 2014 16:55 -0400
committer Tom <tw201207@gmail.com>
Thursday, November 6, 2014 12:06 -0500
commitf0ebfe6152959fda74bf7a5436bd765a0a231f6b
tree b9daab6925a7fea3a488347ef07d8cdd48109305 tree | zip | gz
parent 6235fa445c346d54bde35e28a0c0adf0753f06e9 view | diff
More diff page improvements

- Use git object ids as fragments and HTML element ids
- Simplify generation: don't parse the diff line, instead generate
the table header from the DiffEntry when we process it, and just
skip the diff lines.
6 files modified
90 ■■■■■ changed files
src/main/java/com/gitblit/utils/GitBlitDiffFormatter.java 76 ●●●●● diff | view | raw | blame | history
src/main/java/com/gitblit/wicket/GitBlitWebApp.properties 2 ●●● diff | view | raw | blame | history
src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties 2 ●●● diff | view | raw | blame | history
src/main/java/com/gitblit/wicket/GitBlitWebApp_fr.properties 2 ●●● diff | view | raw | blame | history
src/main/java/com/gitblit/wicket/pages/CommitDiffPage.java 4 ●●●● diff | view | raw | blame | history
src/main/java/com/gitblit/wicket/pages/ComparePage.java 4 ●●●● diff | view | raw | blame | history