You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@isis.apache.org by bu...@apache.org on 2014/02/19 16:20:07 UTC
svn commit: r898534 [6/9] - in /websites/staging/isis/trunk: cgi-bin/
content/ content/archetypes/ content/archetypes/release-notes/
content/components/ content/components/objectstores/
content/components/objectstores/jdo/ content/components/objectstor...
Modified: websites/staging/isis/trunk/content/intro/powered-by/powered-by.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/powered-by/powered-by.html (original)
+++ websites/staging/isis/trunk/content/intro/powered-by/powered-by.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/resources/about.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/resources/about.html (original)
+++ websites/staging/isis/trunk/content/intro/resources/about.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/resources/cheat-sheet.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/resources/cheat-sheet.html (original)
+++ websites/staging/isis/trunk/content/intro/resources/cheat-sheet.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/resources/downloadable-presentations.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/resources/downloadable-presentations.html (original)
+++ websites/staging/isis/trunk/content/intro/resources/downloadable-presentations.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/resources/editor-templates.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/resources/editor-templates.html (original)
+++ websites/staging/isis/trunk/content/intro/resources/editor-templates.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/resources/icons.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/resources/icons.html (original)
+++ websites/staging/isis/trunk/content/intro/resources/icons.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/tutorials/about.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/tutorials/about.html (original)
+++ websites/staging/isis/trunk/content/intro/tutorials/about.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/tutorials/screencasts.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/tutorials/screencasts.html (original)
+++ websites/staging/isis/trunk/content/intro/tutorials/screencasts.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/intro/tutorials/tutorials.html
==============================================================================
--- websites/staging/isis/trunk/content/intro/tutorials/tutorials.html (original)
+++ websites/staging/isis/trunk/content/intro/tutorials/tutorials.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/03-Fixtures-and-SwitchUser.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/03-Fixtures-and-SwitchUser.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/03-Fixtures-and-SwitchUser.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/ViewModel.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/ViewModel.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/ViewModel.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/about.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/about.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/about.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/dynamic-layouts.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/dynamic-layouts.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/dynamic-layouts.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-01-062-How-to-decouple-dependencies-using-contributions.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-01-062-How-to-decouple-dependencies-using-contributions.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-01-062-How-to-decouple-dependencies-using-contributions.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-01-065-How-to-add-an-action-to-be-called-on-every-object-in-a-list.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-01-065-How-to-add-an-action-to-be-called-on-every-object-in-a-list.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-01-065-How-to-add-an-action-to-be-called-on-every-object-in-a-list.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-040-How-to-specify-that-none-of-an-object's-members-is-visible.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-040-How-to-specify-that-none-of-an-object's-members-is-visible.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-040-How-to-specify-that-none-of-an-object's-members-is-visible.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-080-How-to-specify-that-none-of-an-object's-members-can-be-modified-or-invoked.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-080-How-to-specify-that-none-of-an-object's-members-can-be-modified-or-invoked.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-080-How-to-specify-that-none-of-an-object's-members-can-be-modified-or-invoked.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-090-How-to-specify-that-an-object-is-immutable.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-090-How-to-specify-that-an-object-is-immutable.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-090-How-to-specify-that-an-object-is-immutable.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-130-How-to-validate-declaratively-using-MustSatisfy.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-130-How-to-validate-declaratively-using-MustSatisfy.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-02-130-How-to-validate-declaratively-using-MustSatisfy.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-010-How-to-make-a-derived-property.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-010-How-to-make-a-derived-property.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-010-How-to-make-a-derived-property.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-020-How-to-make-a-derived-collection.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-020-How-to-make-a-derived-collection.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-020-How-to-make-a-derived-collection.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-030-How-to-inline-the-results-of-a-query-only-repository-action.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-030-How-to-inline-the-results-of-a-query-only-repository-action.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-030-How-to-inline-the-results-of-a-query-only-repository-action.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-040-How-to-trigger-other-behaviour-when-a-property-is-changed.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-040-How-to-trigger-other-behaviour-when-a-property-is-changed.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-040-How-to-trigger-other-behaviour-when-a-property-is-changed.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-050-How-to-trigger-other-behaviour-when-an-object-is-added-or-removed.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-050-How-to-trigger-other-behaviour-when-an-object-is-added-or-removed.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-050-How-to-trigger-other-behaviour-when-an-object-is-added-or-removed.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-060-How-to-set-up-and-maintain-bidirectional-relationships.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-060-How-to-set-up-and-maintain-bidirectional-relationships.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-04-060-How-to-set-up-and-maintain-bidirectional-relationships.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-010-How-to-specify-a-name-or-description-for-an-object.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-010-How-to-specify-a-name-or-description-for-an-object.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-010-How-to-specify-a-name-or-description-for-an-object.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-020-How-to-specify-a-name-or-description-for-a-property.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-020-How-to-specify-a-name-or-description-for-a-property.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-020-How-to-specify-a-name-or-description-for-a-property.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-030-How-to-specify-a-name-or-description-for-a-collection.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-030-How-to-specify-a-name-or-description-for-a-collection.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-030-How-to-specify-a-name-or-description-for-a-collection.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-040-How-to-specify-names-or-description-for-an-action.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-040-How-to-specify-names-or-description-for-an-action.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-040-How-to-specify-names-or-description-for-an-action.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-050-How-to-specify-the-icon-for-an-individual-objects-state.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-050-How-to-specify-the-icon-for-an-individual-objects-state.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-05-050-How-to-specify-the-icon-for-an-individual-objects-state.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-06-010-How-to-pass-a-messages-and-errors-back-to-the-user.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-06-010-How-to-pass-a-messages-and-errors-back-to-the-user.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-06-010-How-to-pass-a-messages-and-errors-back-to-the-user.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-010-How-to-set-up-the-initial-value-of-a-property-programmatically.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-010-How-to-set-up-the-initial-value-of-a-property-programmatically.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-010-How-to-set-up-the-initial-value-of-a-property-programmatically.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-020-How-to-insert-behaviour-into-the-object-life-cycle.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-020-How-to-insert-behaviour-into-the-object-life-cycle.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-020-How-to-insert-behaviour-into-the-object-life-cycle.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-030-How-to-ensure-object-is-in-valid-state.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-030-How-to-ensure-object-is-in-valid-state.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-030-How-to-ensure-object-is-in-valid-state.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-040-How-to-specify-that-an-object-should-not-be-persisted.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-040-How-to-specify-that-an-object-should-not-be-persisted.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-040-How-to-specify-that-an-object-should-not-be-persisted.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-050-How-to-perform-lazy-loading.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-050-How-to-perform-lazy-loading.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-050-How-to-perform-lazy-loading.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-060-How-to-perform-dirty-object-tracking.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-060-How-to-perform-dirty-object-tracking.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-07-060-How-to-perform-dirty-object-tracking.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-08-010-Hiding,-disabling-or-validating-for-specific-users-or-roles.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-08-010-Hiding,-disabling-or-validating-for-specific-users-or-roles.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-08-010-Hiding,-disabling-or-validating-for-specific-users-or-roles.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-08-020-How-to-use-Isis-authorization-manager.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-08-020-How-to-use-Isis-authorization-manager.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-08-020-How-to-use-Isis-authorization-manager.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-09-020-How-to-write-a-typical-domain-service.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-09-020-How-to-write-a-typical-domain-service.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-09-020-How-to-write-a-typical-domain-service.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-09-030-How-to-use-a-generic-repository.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-09-030-How-to-use-a-generic-repository.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-09-030-How-to-use-a-generic-repository.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>