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

[Andreas Weber]

On 2016-02-03 21:56, Brad Rogers wrote:
> 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.

https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/versions/

=> 43.10 download pops-up when you do the mouse over.

HTH, ändu

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

[Bob Bernstein]

Sorry about the apparent attribution to Lisi in my last post. 
Even though the crowsfeet ('>') were absent from the post, it 
must be adjudged wrong by any decent standard.


Can I have a last cigarette before disposition of sentence? It's 
been over fifteen years now.


--
Bob Bernstein

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

[Bob Bernstein]

On Thu, 4 Feb 2016, Lisi Reisz wrote:

Yes. I have in place what I believe is a different add-on, 
titled "Font Size." As noted, it only changes fonts in the page 
itself, not in menus, etc. It works quite nicely, i.e. as 
advertised.


https://addons.mozilla.org/en-US/firefox/addon/font-size/


--
Bob Bernstein

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

[Lisi Reisz]

On Wednesday 03 February 2016 20:56:56 Brad Rogers wrote:
> On Wed, 3 Feb 2016 21:13:43 +0100
> Andreas Weber  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.

Out of interest, I just tried to download it.  I got: "Not available for your 
platform".  In red letters in case I missed it.  I clicked on "Download 
Anyway", but it wouldn't.  It just sat there still saying: "Not available for 
your platform".  Wheezy with some backports fully updated.

Lisi

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

[Brad Rogers]

On Wed, 3 Feb 2016 21:13:43 +0100
Andreas Weber  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
/ _)radnever immediately apparent"
I'll tell you something, I think that you should know
Rich Kids - Rich Kids


pgpaM1jSiIl_V.pgp
Description: OpenPGP digital signature

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

[Andreas Weber]

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.

> However, the Mozilla site tells me it's not compatible with my OS
> which is odd, given that it's being suggested for a Debian
> GNU/Linux user.

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.

HTH, ändu

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

[Felix Miata]

Bob Bernstein composed on 2016-02-01 18:37 (UTC-0500):

> amd64 Jessie running icewm here w/o systemd.

> I know how to tweak font sizes for displayed web pages, but how 
> do I do that for the apparatus of the browser window itself?

Traditional upstream method applicable regardless of distro or DE, though
shouldn't be necessary if your DE is Gnome or otherwise based on GTK:

http://kb.mozillazine.org/Pane_and_menu_fonts
-- 
"The wise are known for their understanding, and pleasant
words are persuasive." Proverbs 16:21 (New Living Translation)

 Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata  ***  http://fm.no-ip.com/

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

[Brad Rogers]

On Tue, 2 Feb 2016 15:07:15 -0500 (EST)
Bob Bernstein  wrote:

Hello Bob,

>Iirc, that changes fonts only in the displayed page, not in the 
>menus, dialogs, etc.

A quick click on the link suggests that your memory isn't correct.

However, the Mozilla site tells me it's not compatible with my OS which
is odd, given that it's being suggested for a Debian GNU/Linux user.

-- 
 Regards  _
 / )   "The blindingly obvious is
/ _)radnever immediately apparent"
It couldn't adapt so it couldn't survive
The Great British Mistake - The Adverts


pgpA5YlNU0ur4.pgp
Description: OpenPGP digital signature

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

[Bob Bernstein]

On Tue, 2 Feb 2016, Andreas Weber wrote:


https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/



is maybe what you've been looking for.


Iirc, that changes fonts only in the displayed page, not in the 
menus, dialogs, etc.


Best,

--
Bob Bernstein

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

[Andreas Weber]

On 2016-02-02 00:37, Bob Bernstein wrote:
> I know how to tweak font sizes for displayed web pages, but how do I do
> that for the apparatus of the browser window itself?

https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/

is maybe what you've been looking for.

HTH, ändu

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

[Siard]

Siard:
> Bob Holtzman:
> > Siard: 
> > > That is a GTK2 setting.  Font and font size can be set in
> > > ~/.gtkrc-2.0, it should contain a line like this:
> > > 
> > > gtk-font-name = "Sans 11"
> > > 
> > > I have "Liberation Sans 11" myself.
> > 
> > That would be great if only I had that file in my Jessie install.
> > Running locate on this comes up w/ nothing. Any help?
> 
> Should have mentioned that: install package fonts-liberation.
> 
> After having tried several fonts, this became my preferred standard
> font for dialogs etc., although it was not designed for this purpose.
> This is what it looks like: http://home.kpn.nl/shiems/liberation.png

Oh, wait: you mean ~/.gtkrc-2.0.  You can simply create it.
A couple of other lines you can put in there, though I haven't found
out yet what they all mean:

gtk-can-change-accels = 1
gtk-font-name = "Liberation Sans 11"
gtk-theme-name="Simple-Green"
gtk-icon-theme-name="hicolor"
gtk-font-name="Sans 17"
gtk-cursor-theme-size=0
gtk-toolbar-style=GTK_TOOLBAR_BOTH
gtk-toolbar-icon-size=GTK_ICON_SIZE_LARGE_TOOLBAR
gtk-button-images=1
gtk-menu-images=1
gtk-enable-event-sounds=1
gtk-enable-input-feedback-sounds=1
gtk-xft-antialias=1
gtk-xft-hinting=1
gtk-xft-hintstyle="hintslight"
gtk-xft-rgba="rgb"

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

[Siard]

Bob Holtzman:
> Siard: 
> > That is a GTK2 setting.  Font and font size can be set in
> > ~/.gtkrc-2.0, it should contain a line like this:
> > 
> > gtk-font-name = "Sans 11"
> > 
> > I have "Liberation Sans 11" myself.
> 
> That would be great if only I had that file in my Jessie install.
> Running locate on this comes up w/ nothing. Any help?

Should have mentioned that: install package fonts-liberation.

After having tried several fonts, this became my preferred standard
font for dialogs etc., although it was not designed for this purpose.
This is what it looks like: http://home.kpn.nl/shiems/liberation.png

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

[Teemu Likonen]

Bob Holtzman [2016-02-02 11:28:22-07] wrote:

> On Tue, Feb 02, 2016 at 01:16:35AM +0100, Siard wrote:
>> That is a GTK2 setting. Font and font size can be set in
>> ~/.gtkrc-2.0, it should contain a line like this:
>> 
>> gtk-font-name = "Sans 11"
>
> That would be great if only I had that file in my Jessie install.
> Running locate on this comes up w/ nothing. Any help?

You can just create it with that content. Another way is to install
lxappearance, a small configuration utility for LXDE desktop.

-- 
/// Teemu Likonen   - .-..    //
// PGP: 4E10 55DC 84E9 DFF6 13D7 8557 719D 69D3 2453 9450 ///


signature.asc
Description: PGP signature

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

[Bob Holtzman]

On Tue, Feb 02, 2016 at 01:16:35AM +0100, Siard wrote:
> Bob Bernstein wrote:
> > amd64 Jessie running icewm here w/o systemd.
> > 
> > I know how to tweak font sizes for displayed web pages, but how 
> > do I do that for the apparatus of the browser window itself?
> 
> That is a GTK2 setting.  Font and font size can be set in ~/.gtkrc-2.0,
> it should contain a line like this:
> 
> gtk-font-name = "Sans 11"
> 
> I have "Liberation Sans 11" myself.

That would be great if only I had that file in my Jessie install.
Running locate on this comes up w/ nothing. Any help?

-- 
Bob Holtzman
A man is a man who will fight with a sword or
conquer Mt. Everest in snow. But the bravest of all
owns a '34 Ford and tries for six thousand in low.

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

[Lisi Reisz]

On Tuesday 02 February 2016 00:34:15 Bob Bernstein wrote:
> On Tue, 2 Feb 2016, Siard wrote:
> > That is a GTK2 setting.  Font and font size can be set in ~/.gtkrc-2.0,
> > it should contain a line like this:
> >
> > gtk-font-name = "Sans 11"
> >
> > I have "Liberation Sans 11" myself.
>
> Excellent!
>
> >> (By my count this is Big Dummy Question #3,745 for Debian lists.)
> >
> > Well, it certainly is not immediately obvious.
>
> Thank you. (I meant to say, "...this is _my_ Big Dummy Question
> #3,745..." I like to say this because I know there are
> subscribers whose fear of appearing dumb keeps them from
> posting. Mine doesn't!)
>
> :-)

:-)  "There are no dumb questions.  Only dumb answers."

Lisi

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

[Bob Bernstein]

On Tue, 2 Feb 2016, Siard wrote:


That is a GTK2 setting.  Font and font size can be set in ~/.gtkrc-2.0,
it should contain a line like this:



gtk-font-name = "Sans 11"



I have "Liberation Sans 11" myself.


Excellent!


(By my count this is Big Dummy Question #3,745 for Debian lists.)


Well, it certainly is not immediately obvious.


Thank you. (I meant to say, "...this is _my_ Big Dummy Question 
#3,745..." I like to say this because I know there are 
subscribers whose fear of appearing dumb keeps them from 
posting. Mine doesn't!)


:-)

--
Bob Bernstein

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

[Siard]

Bob Bernstein wrote:
> amd64 Jessie running icewm here w/o systemd.
> 
> I know how to tweak font sizes for displayed web pages, but how 
> do I do that for the apparatus of the browser window itself?

That is a GTK2 setting.  Font and font size can be set in ~/.gtkrc-2.0,
it should contain a line like this:

gtk-font-name = "Sans 11"

I have "Liberation Sans 11" myself.

> (By my count this is Big Dummy Question #3,745 for Debian lists.)

Well, it certainly is not immediately obvious.

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

[Bob Bernstein]

amd64 Jessie running icewm here w/o systemd.

I know how to tweak font sizes for displayed web pages, but how 
do I do that for the apparatus of the browser window itself?



(By my count this is Big Dummy Question #3,745 for Debian 
lists.)

--
Bob Bernstein