Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #163805 > unrolled thread
| Started by | Bob Bernstein <poobah@ruptured-duck.com> |
|---|---|
| First post | 2016-02-02 00:40 +0100 |
| Last post | 2016-02-02 23:40 +0100 |
| Articles | 18 — 8 participants |
Back to article view | Back to linux.debian.user
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
| From | Bob Bernstein <poobah@ruptured-duck.com> |
|---|---|
| Date | 2016-02-02 00:40 +0100 |
| Subject | Font size for Iceweasel's menus, bookmark bar, etc |
| Message-ID | <qXweC-1Qr-15@gated-at.bofh.it> |
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
[toc] | [next] | [standalone]
| From | Siard <shiems146@kpnplanet.nl> |
|---|---|
| Date | 2016-02-02 01:20 +0100 |
| Message-ID | <qXwRk-2pD-5@gated-at.bofh.it> |
| In reply to | #163805 |
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.
[toc] | [prev] | [next] | [standalone]
| From | Bob Bernstein <poobah@ruptured-duck.com> |
|---|---|
| Date | 2016-02-02 01:40 +0100 |
| Message-ID | <qXxaF-2zt-3@gated-at.bofh.it> |
| In reply to | #163806 |
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
[toc] | [prev] | [next] | [standalone]
| From | Lisi Reisz <lisi.reisz@gmail.com> |
|---|---|
| Date | 2016-02-02 02:50 +0100 |
| Message-ID | <qXygq-3lg-1@gated-at.bofh.it> |
| In reply to | #163807 |
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
[toc] | [prev] | [next] | [standalone]
| From | Bob Holtzman <holtzm@cox.net> |
|---|---|
| Date | 2016-02-02 19:30 +0100 |
| Message-ID | <qXNSb-72M-49@gated-at.bofh.it> |
| In reply to | #163806 |
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.
[toc] | [prev] | [next] | [standalone]
| From | Teemu Likonen <tlikonen@iki.fi> |
|---|---|
| Date | 2016-02-02 19:40 +0100 |
| Message-ID | <qXO1R-76E-45@gated-at.bofh.it> |
| In reply to | #163827 |
[Multipart message — attachments visible in raw view] — view raw
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 - .-.. <https://github.com/tlikonen> // // PGP: 4E10 55DC 84E9 DFF6 13D7 8557 719D 69D3 2453 9450 ///
[toc] | [prev] | [next] | [standalone]
| From | Siard <shiems146@kpnplanet.nl> |
|---|---|
| Date | 2016-02-02 20:00 +0100 |
| Message-ID | <qXOlc-7fb-7@gated-at.bofh.it> |
| In reply to | #163827 |
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
[toc] | [prev] | [next] | [standalone]
| From | Siard <shiems146@kpnplanet.nl> |
|---|---|
| Date | 2016-02-02 20:00 +0100 |
| Message-ID | <qXOlc-7fb-31@gated-at.bofh.it> |
| In reply to | #163829 |
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"
[toc] | [prev] | [next] | [standalone]
| From | Andreas Weber <aendu@worldwideweber.ch> |
|---|---|
| Date | 2016-02-02 20:10 +0100 |
| Message-ID | <qXOuT-7C0-43@gated-at.bofh.it> |
| In reply to | #163805 |
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
[toc] | [prev] | [next] | [standalone]
| From | Bob Bernstein <poobah@ruptured-duck.com> |
|---|---|
| Date | 2016-02-02 21:10 +0100 |
| Message-ID | <qXPqX-8iU-21@gated-at.bofh.it> |
| In reply to | #163831 |
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
[toc] | [prev] | [next] | [standalone]
| From | Brad Rogers <brad@fineby.me.uk> |
|---|---|
| Date | 2016-02-02 23:20 +0100 |
| Message-ID | <qXRsK-1hN-13@gated-at.bofh.it> |
| In reply to | #163833 |
[Multipart message — attachments visible in raw view] — view raw
On Tue, 2 Feb 2016 15:07:15 -0500 (EST)
Bob Bernstein <poobah@ruptured-duck.com> 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
/ _)rad never immediately apparent"
It couldn't adapt so it couldn't survive
The Great British Mistake - The Adverts
[toc] | [prev] | [next] | [standalone]
| From | Andreas Weber <aendu@worldwideweber.ch> |
|---|---|
| Date | 2016-02-03 21:20 +0100 |
| Message-ID | <qYc4a-6E7-17@gated-at.bofh.it> |
| In reply to | #163835 |
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
[toc] | [prev] | [next] | [standalone]
| From | Brad Rogers <brad@fineby.me.uk> |
|---|---|
| Date | 2016-02-03 22:00 +0100 |
| Message-ID | <qYcGS-6T4-7@gated-at.bofh.it> |
| In reply to | #163859 |
[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
[toc] | [prev] | [next] | [standalone]
| From | Lisi Reisz <lisi.reisz@gmail.com> |
|---|---|
| Date | 2016-02-04 01:20 +0100 |
| Message-ID | <qYfOq-Yj-9@gated-at.bofh.it> |
| In reply to | #163861 |
On Wednesday 03 February 2016 20:56:56 Brad Rogers wrote: > 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. 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
[toc] | [prev] | [next] | [standalone]
| From | Bob Bernstein <poobah@ruptured-duck.com> |
|---|---|
| Date | 2016-02-04 05:30 +0100 |
| Message-ID | <qYjIl-3DU-1@gated-at.bofh.it> |
| In reply to | #163864 |
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
[toc] | [prev] | [next] | [standalone]
| From | Bob Bernstein <poobah@ruptured-duck.com> |
|---|---|
| Date | 2016-02-04 05:40 +0100 |
| Message-ID | <qYjS1-3Hm-3@gated-at.bofh.it> |
| In reply to | #163866 |
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
[toc] | [prev] | [next] | [standalone]
| From | Andreas Weber <aendu@worldwideweber.ch> |
|---|---|
| Date | 2016-02-04 22:10 +0100 |
| Message-ID | <qYzk6-7oW-17@gated-at.bofh.it> |
| In reply to | #163861 |
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
[toc] | [prev] | [next] | [standalone]
| From | Felix Miata <mrmazda@earthlink.net> |
|---|---|
| Date | 2016-02-02 23:40 +0100 |
| Message-ID | <qXRM5-1qu-7@gated-at.bofh.it> |
| In reply to | #163805 |
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/
[toc] | [prev] | [standalone]
Back to top | Article view | linux.debian.user
csiph-web