Можно установить те флаги программно этот путь:
if (needsProxy()) {
System.setProperty("http.proxyHost",getProxyHost());
System.setProperty("http.proxyPort",getProxyPort());
} else {
System.setProperty("http.proxyHost","");
System.setProperty("http.proxyPort","");
}
Просто возвращают правильные значения из методов needsProxy()
, getProxyHost()
и getProxyPort()
, и можно назвать этот фрагмент кода каждый раз, когда Вы хотите.
Я экспериментировал, изменяя ваши значения line-height и font-size на 20 пикселей, а затем проверяя элемент с помощью Firebug. Оба свойства clientHeight и offsetHeight имеют размер 24 пикселя (но поскольку эти свойства включают в себя любые отступы, заданные для элемента, я не уверен, что это браузер, увеличивающий высоту элемента или добавляющий отступы).
Явная установка высоты ввода такой же, как и line-height, кажется, делает то, что вы хотите, то есть line-height: 16pt; height: 16pt;
- но я подозреваю, что это работает путем обрезки элемента, поскольку вертикальное положение текста внутри ввода не изменяется.
Вы можете устранить эту дополнительную набивку, изменив размер поля ввода.
-moz-box-sizing: content-box;
-webkit-box-sizing: content-box;
box-sizing: content-box;
Это заставит современные браузеры вести себя одинаково. Возможно, вам придется специально нацелиться на IE.