]> source.dussan.org Git - gitblit.git/commit
More diff page improvements
authorTom <tw201207@gmail.com>
Tue, 28 Oct 2014 20:55:21 +0000 (21:55 +0100)
committerTom <tw201207@gmail.com>
Thu, 6 Nov 2014 17:06:47 +0000 (18:06 +0100)
commitf0ebfe6152959fda74bf7a5436bd765a0a231f6b
treeb9daab6925a7fea3a488347ef07d8cdd48109305
parent6235fa445c346d54bde35e28a0c0adf0753f06e9
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.
src/main/java/com/gitblit/utils/GitBlitDiffFormatter.java
src/main/java/com/gitblit/wicket/GitBlitWebApp.properties
src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties
src/main/java/com/gitblit/wicket/GitBlitWebApp_fr.properties
src/main/java/com/gitblit/wicket/pages/CommitDiffPage.java
src/main/java/com/gitblit/wicket/pages/ComparePage.java