Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.user > #163861

Re: Font size for Iceweasel's menus, bookmark bar, etc

From Brad Rogers <brad@fineby.me.uk>
Newsgroups linux.debian.user
Subject Re: Font size for Iceweasel's menus, bookmark bar, etc
Date 2016-02-03 22:00 +0100
Message-ID <qYcGS-6T4-7@gated-at.bofh.it> (permalink)
References <qXweC-1Qr-15@gated-at.bofh.it> <qXOuT-7C0-43@gated-at.bofh.it> <qXPqX-8iU-21@gated-at.bofh.it> <qXRsK-1hN-13@gated-at.bofh.it> <qYc4a-6E7-17@gated-at.bofh.it>
Organization Catch 22

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

On Wed, 3 Feb 2016 21:13:43 +0100
Andreas Weber <aendu@worldwideweber.ch> wrote:

Hello Andreas,

>On 2016-02-02 23:11, Brad Rogers wrote:
>>> Iirc, that changes fonts only in the displayed page, not in the 
>>> menus, dialogs, etc.  
>Not true. It does exactly what you need, everywhere.

Please be more careful with your trimming/attributions;  The comment
you're responding to there was not written by me.  Admittedly, the
number of quote markers is an indication of that fact, but even so...

>I've been using it for years and still am without the slightest problem.
>Testing here, so quite up-to-date versions of everything. Just try it.

The d/l link is greyed out, and clicking it repeats the OS warning and
asks me if I wish to d/l for either Mac OS or Windows OS.  Not that I
have a need to try the extension in any case, as I can read the menus
well enough.

-- 
 Regards  _
         / )           "The blindingly obvious is
        / _)rad        never immediately apparent"
I'll tell you something, I think that you should know
Rich Kids - Rich Kids

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Font size for Iceweasel's menus, bookmark bar, etc Bob Bernstein <poobah@ruptured-duck.com> - 2016-02-02 00:40 +0100
  Re: Font size for Iceweasel's menus, bookmark bar, etc Siard <shiems146@kpnplanet.nl> - 2016-02-02 01:20 +0100
    Re: Font size for Iceweasel's menus, bookmark bar, etc Bob Bernstein <poobah@ruptured-duck.com> - 2016-02-02 01:40 +0100
      Re: Font size for Iceweasel's menus, bookmark bar, etc Lisi Reisz <lisi.reisz@gmail.com> - 2016-02-02 02:50 +0100
    Re: Font size for Iceweasel's menus, bookmark bar, etc Bob Holtzman <holtzm@cox.net> - 2016-02-02 19:30 +0100
      Re: Font size for Iceweasel's menus, bookmark bar, etc Teemu Likonen <tlikonen@iki.fi> - 2016-02-02 19:40 +0100
      Re: Font size for Iceweasel's menus, bookmark bar, etc Siard <shiems146@kpnplanet.nl> - 2016-02-02 20:00 +0100
        Re: Font size for Iceweasel's menus, bookmark bar, etc Siard <shiems146@kpnplanet.nl> - 2016-02-02 20:00 +0100
  Re: Font size for Iceweasel's menus, bookmark bar, etc Andreas Weber <aendu@worldwideweber.ch> - 2016-02-02 20:10 +0100
    Re: Font size for Iceweasel's menus, bookmark bar, etc Bob Bernstein <poobah@ruptured-duck.com> - 2016-02-02 21:10 +0100
      Re: Font size for Iceweasel's menus, bookmark bar, etc Brad Rogers <brad@fineby.me.uk> - 2016-02-02 23:20 +0100
        Re: Font size for Iceweasel's menus, bookmark bar, etc Andreas Weber <aendu@worldwideweber.ch> - 2016-02-03 21:20 +0100
          Re: Font size for Iceweasel's menus, bookmark bar, etc Brad Rogers <brad@fineby.me.uk> - 2016-02-03 22:00 +0100
            Re: Font size for Iceweasel's menus, bookmark bar, etc Lisi Reisz <lisi.reisz@gmail.com> - 2016-02-04 01:20 +0100
              Re: Font size for Iceweasel's menus, bookmark bar, etc Bob Bernstein <poobah@ruptured-duck.com> - 2016-02-04 05:30 +0100
                Re: Font size for Iceweasel's menus, bookmark bar, etc Bob Bernstein <poobah@ruptured-duck.com> - 2016-02-04 05:40 +0100
            Re: Font size for Iceweasel's menus, bookmark bar, etc Andreas Weber <aendu@worldwideweber.ch> - 2016-02-04 22:10 +0100
  Re: Font size for Iceweasel's menus, bookmark bar, etc Felix Miata <mrmazda@earthlink.net> - 2016-02-02 23:40 +0100

csiph-web