From 0e1138644808dab9fc56c5bb79c5668cdfa5ad71 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sat, 11 Oct 2014 12:46:19 +0100
Subject: [PATCH] On setting GitHub diff to true, go split pane also

---
 files.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/files.php b/files.php
index 37d7213..8b7b729 100644
--- a/files.php
+++ b/files.php
@@ -28,6 +28,8 @@ if ($isGitHubRepoDir) {
 	$classExtra = !isset($_GET["githubDiff"]) || $_GET["githubDiff"] == "false" ? "Off" : "On";
 	if ($classExtra == "On") {
 		$_SESSION['githubDiff'] = true;
+		// Make sure we are showing the diff pane
+		echo "<script>top.ICEcoder.setSplitPane('on');</script>";
 	}
 	echo '<div title="GitHub" onClick="top.ICEcoder.githubDiffToggle()" class="github'.$classExtra.'"></div>';
 }