[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not bef
From: |
Jean Louis |
Subject: |
bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before) |
Date: |
Fri, 6 Jan 2023 19:32:27 +0300 |
User-agent: |
Mutt/2.2.9+54 (af2080d) (2022-11-21) |
* Gregory Heytings <gregory@heytings.org> [2023-01-06 17:03]:
>
> >
> > I installed IceWM 3.2.3, and now I can reproduce the problem (both on
> > the release branch and on master). It's indeed related to the window
> > manager, because with several other window managers there is no such
> > problem.
> >
>
> It is also related to the toolkit, with a default build (GTK toolkit) there
> is no such problem.
>
> Are you really sure you did not see that problem with earlier builds? Here I
> can reproduce it with e0488f89d1, in which global-text-scale-adjust was
> introduced.
I used that commands in launching around 5 sessions over span of 10
days. I have not observed that windows shrink before, until yesterday.
My observation may be limited or wrong, as I did not expect those issues.
--
Jean
Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns
In support of Richard M. Stallman
https://stallmansupport.org/
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/05
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Eli Zaretskii, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before),
Jean Louis <=
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Po Lu, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/07
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/06
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/07
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/08
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Gregory Heytings, 2023/01/08
- bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Eli Zaretskii, 2023/01/06