Add a diff window

This allows you to do something like

	gitx --diff

to display a diff similar to 'git diff', but with GitX prettification.

It accepts all git diff parameters, so you can do something like

	gitx --diff HEAD~10

to show the diff compared to the last 10 commits. Or, you can something like

	git diff | gitx

to pipe anything that produces a diff to GitX
This commit is contained in:
Pieter de Bie
2008-10-13 23:43:28 +02:00
parent e054a17a0c
commit e8131c3898
10 changed files with 546 additions and 38 deletions
+19
View File
@@ -0,0 +1,19 @@
<html>
<head>
<title>Details for commit</title>
<link rel="stylesheet" href="commits.css" type="text/css" media="screen" title="no title" charset="utf-8">
<link rel="stylesheet" href="diff_style.css" type="text/css" media="screen" title="no title" charset="utf-8">
<script src="prototype.js" type="text/javascript" charset="utf-8"></script>
<script src="diffHighlighter.js" type="text/javascript" charset="utf-8"></script>
<script type="text/javascript" charset="utf-8">
var showDiff = function(diff) {
document.getElementById("details").innerHTML = diff.escapeHTML();
highlightDiffs();
}
</script>
</head>
<body style="padding: 0px; border: 0px">
<pre><code class="diffcode" id='details'></code></pre>
</body>