On Tuesday 10 May 2016 20:16:30 John L. Ries wrote:
> traditionally hanged on Guy Fawkes Day.
No, traditionally burned on Guy Fawkes Day.
Lisi
On Tue, 10 May 2016 19:16:30 +
"John L. Ries" wrote:
> > gender, and it is "man"kind. But I object to "Sirs"!!!
>
> Me too! I definitely haven't been knighted.
>
None of my male teachers had, either, but...
--
Joe
ent: Tuesday, May 10, 2016 2:05 PM
To: debian-user@lists.debian.org
Subject: Re: all at a sudden Firefox
On Sun, May 01, 2016 at 08:39:58PM +0100, Lisi Reisz wrote:
> On Sunday 01 May 2016 19:43:37 Curt wrote:
> > As far as here goes, in mixed company, the masculine form takes
> &g
On Sun, May 01, 2016 at 08:39:58PM +0100, Lisi Reisz wrote:
> On Sunday 01 May 2016 19:43:37 Curt wrote:
> > As far as here goes, in mixed company, the masculine form takes
> > precedence (which may or may not have anything to do with anything).
>
> Depending. "Guys" can indeed sometimes be used
On 2016-05-01 23:29:06 +, Juan R. de Silva wrote:
> I start suspecting that with the update to Firefox 46 something that
> handles 4K screen fonts changed and thus the problem showed up.
Firefox 46 switched to GTK3. So, I wouldn't be surprised if there
were some related changes. At least, the
On Monday 02 May 2016 03:31:50 Doug wrote:
> On 05/01/2016 01:07 PM, Juan R. de Silva wrote:
> > On Sun, 01 May 2016 09:13:30 +, Curt wrote:
> >> I suppose you've tried the obvious (cough) like starting Firefox in safe
> >> mode,
> >> refreshing the sucker, renaming prefs.js, using a virgin pro
On 05/01/2016 01:07 PM, Juan R. de Silva wrote:
On Sun, 01 May 2016 09:13:30 +, Curt wrote:
I suppose you've tried the obvious (cough) like starting Firefox in safe
mode,
refreshing the sucker, renaming prefs.js, using a virgin profile and the
like (or have you already told us that upthrea
On Sun, 01 May 2016 17:42:33 -0500, Richard Owlett wrote:
> On 5/1/2016 2:15 PM, Juan R. de Silva wrote:
>> On Sun, 01 May 2016 07:44:22 -0500, John Hasler wrote:
>>
>>> File a bug with Mozilla.
>>
>> I would do it gladly if I only could reproduce it or at list give a
>> minimal lead of how and wh
On 5/1/2016 2:15 PM, Juan R. de Silva wrote:
On Sun, 01 May 2016 07:44:22 -0500, John Hasler wrote:
File a bug with Mozilla.
I would do it gladly if I only could reproduce it or at list give a
minimal lead of how and when it happened.
I would suspect that a vague &/or malformed report is b
On Sunday 01 May 2016 19:43:37 Curt wrote:
> As far as here goes, in mixed company, the masculine form takes
> precedence (which may or may not have anything to do with anything).
Depending. "Guys" can indeed sometimes be used as the common gender, and it
is "man"kind. But I object to "Sirs"!!!
On Sun, 01 May 2016 07:44:22 -0500, John Hasler wrote:
> File a bug with Mozilla.
I would do it gladly if I only could reproduce it or at list give a
minimal lead of how and when it happened.
On 2016-05-01, Juan R. de Silva wrote:
>
> It looks like people at your place still use two distinct terms. :-)
> Where are you?
>
I was just needling you in a light-hearted manner.
As this is an international list, who knows what sensibilities might be
aroused by this or that term in reference
Juan R. de Silva writes:
> Seriously. This one was quite an interesting remark. You see, these
> days, here on Canadian West Coast, most of people, especially young
> people, use "guys" for both guys and gals. And it always seemed to me
> that gals were promoting this change more actively than guys
On Sun, 01 May 2016 09:13:30 +, Curt wrote:
> I suppose you've tried the obvious (cough) like starting Firefox in safe
> mode,
> refreshing the sucker, renaming prefs.js, using a virgin profile and the
> like (or have you already told us that upthread somewhere).
Yes, I tried all these.
> An
File a bug with Mozilla.
--
John Hasler
jhas...@newsguy.com
Elmwood, WI USA
On 2016-05-01, Juan R. de Silva wrote:
>
> I guess I hit some weird Firefox or one of his addons bug and I don't
> even have a clue how to reproduce it.
>
I suppose you've tried the obvious (cough) like starting Firefox in safe mode,
refreshing the sucker, renaming prefs.js, using a virgin profi
After trying all suggestions I am giving up.
And here a new finding. If I ever load a new page at least once and
correct the fonts by hitting Ctl-++, then, even if I delete all history,
including cache, cookies, etc., and go to that website/page again it
loads with the desired fonts. So, as it
On Fri, 29 Apr 2016 07:22:00 -0500, John Hasler wrote:
> Michael writes:
>> Set your font sizes to something else other than is displayed in the
>> dialog. Save the change, exit firefox, relaunch and reset the font size
>> back to what ever you need. Quit and relaunch. Any better?
>
> Worth a try
On Fri, 29 Apr 2016 07:05:39 +0100, Michael wrote:
> On Fri, 2016-04-29 at 02:18 +, Juan R. de Silva wrote:
>> On Thu, 28 Apr 2016 19:28:14 -0500, John Hasler wrote:
>>
>>
>> Well, do you really think I would make a post without checking such an
>> obvious thing first?
>>
>> The default fon
On Thu, 28 Apr 2016 21:41:16 -0500, John Hasler wrote:
> Juan R. de Silva writes:
>> Well, do you really think I would make a post without checking such an
>> obvious thing first?
>
> Well, not knowing you, yes. Why should I be the only one to ever
> overlook the obvious?
Yes, it is a good reas
Lisi writes:
> No, they just ignore anything I have asked for.
Did you uncheck "Allow pages..." ?
Also, I don't think any of that stuff has any effect if the pages are JS.
--
John Hasler
jhas...@newsguy.com
Elmwood, WI USA
Lisi writes:
> Many sites don't take a blind bit of notice of my settings.
That's what the "minimum" setting in Preferences->Content->Advanced is
for. Badly-designed pages (i.e., the usual kind) may garble themselves
if you set the minimum font size much above what the 28 year old
designer though
Michael writes:
> Set your font sizes to something else other than is displayed in the
> dialog. Save the change, exit firefox, relaunch and reset the font
> size back to what ever you need. Quit and relaunch. Any better?
Worth a try, though you normally don't need to restart Firefox for font
size
On Fri, 2016-04-29 at 02:18 +, Juan R. de Silva wrote:
> On Thu, 28 Apr 2016 19:28:14 -0500, John Hasler wrote:
>
> >
> Well, do you really think I would make a post without checking such
> an
> obvious thing first?
>
> The default font sizes (serif, 16) are there. Nevertheless, all new
> p
On 29/04/2016 9:43 AM, Juan R. de Silva wrote:
> All at a sudden Firefox started opening all websites with tiny fonts. I
> have to hit Ctl++ several times on each new page to be able to reed it.
>
> The only thing changed before the problem showed up - Google Chrome was
> updated to the latest
Juan R. de Silva writes:
> Well, do you really think I would make a post without checking such an
> obvious thing first?
Well, not knowing you, yes. Why should I be the only one to ever overlook
the obvious?
> The default font sizes (serif, 16) are there. Nevertheless, all new pages
> open with
Juan R. de Silva composed on 2016-04-28 23:43 (UTC):
All at a sudden Firefox started opening all websites with tiny fonts. I
have to hit Ctl++ several times on each new page to be able to reed it.
The only thing changed before the problem showed up - Google Chrome was
updated to the latest ve
On Thu, 28 Apr 2016 19:28:14 -0500, John Hasler wrote:
> Juan R. de Silva writes:
>> All at a sudden Firefox started opening all websites with tiny fonts. I
>> have to hit Ctl++ several times on each new page to be able to reed it.
>
> Go to Menu->Preferences->Content and set your font sizes.
We
Juan R. de Silva writes:
> All at a sudden Firefox started opening all websites with tiny
> fonts. I have to hit Ctl++ several times on each new page to be able
> to reed it.
Go to Menu->Preferences->Content and set your font sizes.
--
John Hasler
jhas...@newsguy.com
Elmwood, WI USA
29 matches
Mail list logo
