|
|
On Fri, 28 Jul 2006 10:37:56 -0400, "Phil Beeney"
<phil.beeney@xxxxxxxxx> wrote:
>On Fri, 28 Jul 2006 03:19:49 -0400, Ralf Demuth <news@xxxxxxxxxx> wrote:
>
>> On Thu, 27 Jul 2006 17:47:00 +0200, Phil Beeney <phil.beeney@xxxxxxxxx>
>> wrote:
>>
>>> On Mon, 24 Jul 2006 05:04:26 -0400, OmegaJunior
>>> <omegajunior@xxxxxxxxxxxxxxxxxx> wrote:
[...]
>>> I currently use TextWrangler as the Opera Source Viewer font is too
>>> small and can't be modified at present.
[...]
>> I'd like to
>> point out that current builds of Opera 9 allow to set the size of the
>> source viewer font. It follows the setting for
>>
>> Preferences | Advanced | Fonts | Multi-line forms fields
>
>But it doesn't work. If you change the font size from 12 to 18, the font
>stays the same size in the Source Viewer.
Indeed, we have a bug report on this issue.
--
Tim Altman
Core QA
Opera Software
Remove NO SPAM from e-mail address to reply
|
|