From 1093f7a64d6522ece3e6d1886ae16789a2e50100 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Simon=20Schro=CC=88er?= <github@nerdforge.de>
Date: Sun, 28 Aug 2011 09:43:02 +0200
Subject: [PATCH] little bug fix for drop down menu

- adding identify function to create unique element ids if necessary -
change target mapping from .attr('href') to .attr('id') to work
correctly with all links (jQuery throws exceptions if i link to
something like that: "/mynicsite")
---
 docs/assets/js/application.js | 24 ++++++++++++++++++++++--
 1 file changed, 22 insertions(+), 2 deletions(-)

diff --git a/docs/assets/js/application.js b/docs/assets/js/application.js
index 30677829e9ff..39062ef89428 100644
--- a/docs/assets/js/application.js
+++ b/docs/assets/js/application.js
@@ -1,3 +1,22 @@
+// Add the identify-function to create unique element ids if necessary
+// ===================================================================
+if(typeof jQuery.fn.identify == 'undefined')
+{
+	jQuery.fn.identify = function(){
+		var uid = 1;
+		return this.each(function(){
+			if($(this).attr('id')) return;
+			do
+			{ 
+				var id = 'anonymous_element_'+uid;
+				uid++;
+			}
+			while($('#'+id).length > 0);            
+			$(this).attr('id', id);            
+		});
+	};
+}
+
 $(document).ready(function(){
 
   // Google code prettify
@@ -13,10 +32,11 @@ $(document).ready(function(){
       $window = $(window),
       nav = $('body > .topbar li a'),
       targets = nav.map(function () {
-        return $(this).attr('href');
+        $(this).identify();
+		return $(this).attr('id');
       }),
       offsets = $.map(targets, function (id) {
-        return $(id).offset().top;
+        return $('#'+id).offset().top;
       });