* workaround for Fennec bug https://bugzilla.mozilla.org/show_bug.cgi?format=multiple&id=648250 window.(outerHeight|outerWidth|screenX|screenY) throw exception

This commit is contained in:
Ralf Becker 2011-06-03 09:50:27 +00:00
parent c5e6b56503
commit 310b22c172

View File

@ -39,6 +39,8 @@ else if (document.layers)
is_ns4 = true;
}
//console.log('is_ie='+is_ie+', is_ie5='+is_ie5+', is_mozilla='+is_mozilla+', is_moz1_6='+is_moz1_6+', is_ns4='+is_ns4);
/**
* Check whether the console object is defined - if not, define one
*/
@ -401,7 +403,8 @@ function egw_openWindowCentered(_url, _windowName, _width, _height)
// return the left position of the window
function egw_getWindowLeft()
{
if(is_mozilla)
// workaround for https://bugzilla.mozilla.org/show_bug.cgi?format=multiple&id=648250 window.(outerHeight|outerWidth|screenX|screenY) throw exception
if(is_mozilla && navigator.userAgent.toLowerCase().indexOf('fennec') == -1)
{
return window.screenX;
}
@ -414,7 +417,8 @@ function egw_getWindowLeft()
// return the left position of the window
function egw_getWindowTop()
{
if(is_mozilla)
// workaround for https://bugzilla.mozilla.org/show_bug.cgi?format=multiple&id=648250 window.(outerHeight|outerWidth|screenX|screenY) throw exception
if(is_mozilla && navigator.userAgent.toLowerCase().indexOf('fennec') == -1)
{
return window.screenY;
}
@ -460,7 +464,8 @@ function egw_getWindowInnerHeight()
// get the outerWidth of the browser window. For IE we simply return the innerWidth
function egw_getWindowOuterWidth()
{
if (is_mozilla)
// workaround for https://bugzilla.mozilla.org/show_bug.cgi?format=multiple&id=648250 window.(outerHeight|outerWidth|screenX|screenY) throw exception
if (is_mozilla && navigator.userAgent.toLowerCase().indexOf('fennec') == -1)
{
return window.outerWidth;
}
@ -473,7 +478,8 @@ function egw_getWindowOuterWidth()
// get the outerHeight of the browser window. For IE we simply return the innerHeight
function egw_getWindowOuterHeight()
{
if (is_mozilla)
// workaround for https://bugzilla.mozilla.org/show_bug.cgi?format=multiple&id=648250 window.(outerHeight|outerWidth|screenX|screenY) throw exception
if (is_mozilla && navigator.userAgent.toLowerCase().indexOf('fennec') == -1)
{
return window.outerHeight;
}