<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/3.28.3">
</HEAD>
<BODY>
Le mercredi 05 mai 2010 &#224; 22:49 +0200, Ivan Vu&#269;ica a &#233;crit&nbsp;:
<BLOCKQUOTE TYPE=CITE>
    <BR>
</BLOCKQUOTE>
<BLOCKQUOTE TYPE=CITE>
    It is, however, interesting that the user would not be able to find that configuration option that easily. An instructive label (perhaps a button to launch the configuration utility) would be much better than just omitting the option.<BR>
</BLOCKQUOTE>
If you try chromium, you'll find that they do exactly like you said. They have a proxy settings section with a button that launches s system UI (gnome-network-properties in Gnome). I would also recommend UI that do connect through proxies to detect proxy specific errors, and propose such a button while reporting the connection error.
<BR>
<BLOCKQUOTE TYPE=CITE>
    <BR>
</BLOCKQUOTE>
<BLOCKQUOTE TYPE=CITE>
    I currently can't fathom how this relates to my mini-response, and if it does, why do you think that I cannot write Javascript?<BR>
</BLOCKQUOTE>
Was not aimed to anybody, just a joke for enthusiast that always want more ;) <BR>
<BR>
Cheer,<BR>
Nicolas
<BR>
</BODY>
</HTML>