← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to external/mono-tools/webdoc/views/common.js

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
Import upstream version 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
external/mono-tools/webdoc/views/common.js
 
1
$(function () {
 
2
//a hack for sizing our iframe correctly
 
3
/*      var getHeight = function () {
 
4
        <!--
 
5
        var viewportwidth;
 
6
        var viewportheight;
 
7
        // the more standards compliant browsers (mozilla/netscape/opera/IE7) use window.innerWidth and window.innerHeight
 
8
        if (typeof window.innerWidth != 'undefined')
 
9
        {
 
10
                viewportwidth = window.innerWidth,
 
11
                viewportheight = window.innerHeight
 
12
        }
 
13
        // IE6 in standards compliant mode (i.e. with a valid doctype as the first line in the document)
 
14
        else if (typeof document.documentElement != 'undefined'
 
15
                && typeof document.documentElement.clientWidth !=
 
16
                'undefined' && document.documentElement.clientWidth != 0)
 
17
        {
 
18
                viewportwidth = document.documentElement.clientWidth,
 
19
                viewportheight = document.documentElement.clientHeight
 
20
        }
 
21
        // older versions of IE
 
22
        else
 
23
        {
 
24
                viewportwidth = document.getElementsByTagName('body')[0].clientWidth,
 
25
                viewportheight = document.getElementsByTagName('body')[0].clientHeight
 
26
        }
 
27
        return viewportheight;
 
28
        //-->
 
29
        }
 
30
 
 
31
        var main_part = $('#main_part');
 
32
        var content_frame = main_part.find('#content_frame');
 
33
        var resize_mainpart = function () {
 
34
//              main_part.height (getHeight() - 75);
 
35
//              main_part.children('#side').css ('height', '100%');
 
36
                content_frame.css ('height', '97.5%');
 
37
        }
 
38
        
 
39
        var resizeTimer;
 
40
        $(window).resize(function() {
 
41
                clearTimeout(resizeTimer);
 
42
                resizeTimer = setTimeout(resize_mainpart, 100);
 
43
        });
 
44
        
 
45
        resize_mainpart ();*/
 
46
});