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 ""; } echo '
'; }