On setting GitHub diff to true, go split pane also

This commit is contained in:
Matt Pass
2014-10-11 12:46:19 +01:00
parent ee1d3cfcc0
commit 0e11386448

View File

@@ -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>';
}