URL field / Loading page images / Refreshing DNS cache: Correction

[...]
> In the current snapshot, the navigation bar has changed, and the URL
> field does not seem to be taking into account font_factor -- with the
> result that the window is smaller than the font height.  You can test
> this by setting, e.g., font_factor=2.0 in your dillorc (most
> dramatically for a tiny panel with small icons).  The issue seems to
> be with this factor not being taken into account when bh and lh are
> set in make_panel() in ui.cc.
[...]

I meant what is actually called the "location box," and on comparing
the code for 3.0.5 to the snapshot of a few days ago, I see that there
has been no change in the section of make_panel() in ui.cc that sets
the values of bh, lh, etc.  The change that has caused the problem is
the addition of line 466 of ui.cc:

  i->textsize((int) rint(14.0 * prefs.font_factor));

But the height of the CustInput i is still set to lh, which does not
take into account prefs.font_factor.