From b363be873b5caaca014ebfe4e7dde99ca32645ff Mon Sep 17 00:00:00 2001
From: Robert Lord <robert@lord.io>
Date: Wed, 11 Jun 2014 21:49:37 -0700
Subject: [PATCH] Update language tabs to properly stay in section, and fix
 history navigation bug

---
 source/javascripts/app/lang.js | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

diff --git a/source/javascripts/app/lang.js b/source/javascripts/app/lang.js
index 111c67e..3b02e09 100644
--- a/source/javascripts/app/lang.js
+++ b/source/javascripts/app/lang.js
@@ -22,17 +22,25 @@ under the License.
   function activateLanguage(language) {
     if (!language) return;
 
-    var hash = window.location.hash;
-    if (hash) hash = hash.replace(/^#+/, '');
-    // do not reload the page every time the language is changed
-    if (history) history.pushState({}, '', '?' + language + '#' + hash);
-
     $("#lang-selector a").removeClass('active');
     $("#lang-selector a[data-language-name='" + language + "']").addClass('active');
     for (var i=0; i < languages.length; i++) {
       $(".highlight." + languages[i]).hide();
     }
     $(".highlight." + language).show();
+
+    // scroll to the new location of the position
+    $(window.location.hash).get(0).scrollIntoView(true);
+  }
+
+  // if a button is clicked, add the state to the history
+  function pushURL(language) {
+    if (!history) { return; }
+    var hash = window.location.hash;
+    if (hash) {
+      hash = hash.replace(/^#+/, '');
+    }
+    history.pushState({}, '', '?' + language + '#' + hash);
   }
 
   function setupLanguages(l) {
@@ -60,6 +68,7 @@ under the License.
   $(function() {
     $("#lang-selector a").on("click", function() {
       var language = $(this).data("language-name");
+      pushURL(language);
       activateLanguage(language);
       return false;
     });