bug 140204:HTTP preferences have weird checkbox handling

r=bzbarsky sr=darin
Check in for Antonio Xu's(antonit.xu@sun.com) fix
This commit is contained in:
pete.zha%sun.com 2002-04-27 08:47:56 +00:00
Родитель 9b3f3116e3
Коммит 6c9718b29e
1 изменённых файлов: 0 добавлений и 4 удалений

Просмотреть файл

@ -46,8 +46,6 @@ function checkPipelining()
var doDisable = !(enableHTTP11.selected && enableKeepAlive.checked);
enablePipelining.disabled = doDisable;
if (doDisable)
enablePipelining.checked = false;
} catch(e) {}
}
@ -60,8 +58,6 @@ function checkPipeliningProxy()
var doDisable = !(enableHTTP11.selected && enableKeepAlive.checked);
enablePipelining.disabled = doDisable;
if (doDisable)
enablePipelining.checked = false;
} catch(e) {}
}