> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
>> Sorry for the inconvenience.
Angus> I forgive you.
You're too good. You'll regret it one day.
JMarc
On Thursday 10 January 2002 8:48 am, Jean-Marc Lasgouttes wrote:
> > "John" == John Levon <[EMAIL PROTECTED]> writes:
>
> John> On Wed, Jan 09, 2002 at 11:08:32PM +0200, Dekel Tsur wrote:
> >> Recently, the font in the menus became bold. Is it intentional ?
>
> John> actually a bug got fixed
> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Wed, Jan 09, 2002 at 11:08:32PM +0200, Dekel Tsur wrote:
>> Recently, the font in the menus became bold. Is it intentional ?
John> actually a bug got fixed (by Angus)
John> check your preferences and change the menu settings to med
On Thu, 10 Jan 2002, John Levon wrote:
> On Thu, Jan 10, 2002 at 01:53:59PM +1000, Allan Rae wrote:
>
> > What's wrong with that? Does it do it after a restart? If so, _then_
> > we have a problem. I'm recompiling now after updating so will have to
> > have lunch and try it when I get back.
>
>
On Thu, Jan 10, 2002 at 01:53:59PM +1000, Allan Rae wrote:
> What's wrong with that? Does it do it after a restart? If so, _then_
> we have a problem. I'm recompiling now after updating so will have to
> have lunch and try it when I get back.
yes. I suppose you need to override the default or s
On Wed, 9 Jan 2002, John Levon wrote:
> On Wed, Jan 09, 2002 at 11:31:03PM +0200, Dekel Tsur wrote:
>
> > I've done that and now the menus are OK.
> > But now the font of the upper tab row in preferences is not bold.
>
> ok, weird, form_preferences.fd didn't have the style as bold font.
> but whe
On Wed, Jan 09, 2002 at 11:31:03PM +0200, Dekel Tsur wrote:
> I've done that and now the menus are OK.
> But now the font of the upper tab row in preferences is not bold.
ok, weird, form_preferences.fd didn't have the style as bold font.
but when I changed it, it made no difference ...
Allan ?
On Wed, Jan 09, 2002 at 09:22:33PM +, John Levon wrote:
> On Wed, Jan 09, 2002 at 11:08:32PM +0200, Dekel Tsur wrote:
>
> > Recently, the font in the menus became bold.
> > Is it intentional ?
>
> actually a bug got fixed (by Angus)
>
> check your preferences and change the menu settings to
On Wed, Jan 09, 2002 at 11:08:32PM +0200, Dekel Tsur wrote:
> Recently, the font in the menus became bold.
> Is it intentional ?
actually a bug got fixed (by Angus)
check your preferences and change the menu settings to medium instead of bold.
regards
john
--
"I went to set up a Yahoo ID for
Recently, the font in the menus became bold.
Is it intentional ?
10 matches
Mail list logo
