On Sat, Sep 04, 2021 at 01:58:41AM -0400, Bob Bernstein wrote:
> On Fri, 3 Sep 2021, Michael Lange wrote:
>
> > according to https://ice-wm.org/man/icewm-preferences the syntax for
> > using a bold font should rather be:
>
> > ActiveTaskBarFontNameXft=”sans-serif:size=12:bold” .
>
> Ah. RTFM
On Fri, 3 Sep 2021, Michael Lange wrote:
according to https://ice-wm.org/man/icewm-preferences the
syntax for using a bold font should rather be:
ActiveTaskBarFontNameXft=”sans-serif:size=12:bold” .
Ah. RTFM still applies.
That did the trick for me. Thank You Sir!
I have some doubt
Hi,
On Thu, 2 Sep 2021 16:02:08 -0400 (EDT)
Bob Bernstein wrote:
> Thanks to those who chimed in!
>
> My focus today is on those lines in ~/.icewm/preferences that
> specify fonts for the task bar. I have in mind such statements
> as:
>
>
Thanks to those who chimed in!
My focus today is on those lines in ~/.icewm/preferences that
specify fonts for the task bar. I have in mind such statements
as:
NormalTaskBarFontNameXft="DejaVuSans-Bold,sans-serif:size=18"
ActiveTaskBarFontNameXft="DejaVuSans-Bold,sans-serif:size=18"
I
On 9/1/21 12:17 PM, Bob Bernstein wrote:
Here's what I have onboard now after upgrading to bullseye:
cat /etc/os-release
PRETTY_NAME="Debian GNU/Linux 11 (bullseye)"
NAME="Debian GNU/Linux"
VERSION_ID="11"
VERSION="11 (bullseye)"
VERSION_CODENAME=bullseye
ID=debian
I have never had a situation
Hi,
On Wed, 1 Sep 2021 15:17:11 -0400 (EDT)
Bob Bernstein wrote:
(...)
> I have never had a situation wherein the number of workspaces in
> the taskbar was _not_ determined by the contents of the line:
>
> WorkspaceNames= " Web ", " Term ", " VNC ", etc.
seems to work as usual here.
>
> in
Here's what I have onboard now after upgrading to bullseye:
cat /etc/os-release
PRETTY_NAME="Debian GNU/Linux 11 (bullseye)"
NAME="Debian GNU/Linux"
VERSION_ID="11"
VERSION="11 (bullseye)"
VERSION_CODENAME=bullseye
ID=debian
I have never had a situation wherein the number of workspaces in
the
7 matches
Mail list logo