diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2011-03-27 16:44:00 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2011-03-27 16:44:00 -0400 |
| commit | 527ba191faed1cb5a2d4fd2206114de2748a3dfe (patch) | |
| tree | ea62ca0770d1a9a220144609204aaeee50cf4e97 /coverage/htmlfiles/jquery.isonscreen.js | |
| parent | f1d758c7351e0d1a4c97c2ce262ae183cb6f8565 (diff) | |
| download | python-coveragepy-git-527ba191faed1cb5a2d4fd2206114de2748a3dfe.tar.gz | |
HTML hotkeys for jumping to next/prev highlighted source section.
Diffstat (limited to 'coverage/htmlfiles/jquery.isonscreen.js')
| -rw-r--r-- | coverage/htmlfiles/jquery.isonscreen.js | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/coverage/htmlfiles/jquery.isonscreen.js b/coverage/htmlfiles/jquery.isonscreen.js new file mode 100644 index 00000000..b147aff0 --- /dev/null +++ b/coverage/htmlfiles/jquery.isonscreen.js @@ -0,0 +1,53 @@ +/* Copyright (c) 2010
+ * @author Laurence Wheway
+ * Dual licensed under the MIT (http://www.opensource.org/licenses/mit-license.php)
+ * and GPL (http://www.opensource.org/licenses/gpl-license.php) licenses.
+ *
+ * @version 1.2.0
+ */
+(function($) {
+ jQuery.extend({
+ isOnScreen: function(box, container) {
+ //ensure numbers come in as intgers (not strings) and remove 'px' is it's there
+ for(var i in box){box[i] = parseFloat(box[i])};
+ for(var i in container){container[i] = parseFloat(container[i])};
+
+ if(!container){
+ container = {
+ left: $(window).scrollLeft(),
+ top: $(window).scrollTop(),
+ width: $(window).width(),
+ height: $(window).height()
+ }
+ }
+
+ if( box.left+box.width-container.left > 0 &&
+ box.left < container.width+container.left &&
+ box.top+box.height-container.top > 0 &&
+ box.top < container.height+container.top
+ ) return true;
+ return false;
+ }
+ })
+
+
+ jQuery.fn.isOnScreen = function (container) {
+ for(var i in container){container[i] = parseFloat(container[i])};
+
+ if(!container){
+ container = {
+ left: $(window).scrollLeft(),
+ top: $(window).scrollTop(),
+ width: $(window).width(),
+ height: $(window).height()
+ }
+ }
+
+ if( $(this).offset().left+$(this).width()-container.left > 0 &&
+ $(this).offset().left < container.width+container.left &&
+ $(this).offset().top+$(this).height()-container.top > 0 &&
+ $(this).offset().top < container.height+container.top
+ ) return true;
+ return false;
+ }
+})(jQuery);
|