[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 15:57:47 +0300 |
User-agent: |
Mutt/2.2.9+54 (af2080d) (2022-11-21) |
* Gregory Heytings <gregory@heytings.org> [2023-01-06 11:17]:
> It looks strangely similar to the problem that Dmitry described in
> bug#52493. It seems to be specific to some version of some specific window
> managers. I tried both recipes (the one of Dmitry and this one) with five
> different window managers and could not reproduce these problem.
>
> Jean, can you please tell us which window manager you use, which exact
> version it is, and with which exact revision of the Emacs repository you see
> that problem?
I use
IceWM 3.2.3, Copyright 1997-2012 Marko Macek, 2001 Mathias Hasselmann.
and I have no problem whatsoever with any other window, so it is very
much Emacs specific.
This is Emacs repository I use.
[remote "origin"]
url = git://git.sv.gnu.org/emacs.git
fetch = +refs/heads/feature/integration-of-dictionary-el
And before the pull yesterday, I did not have that problem, I know it
because for few weeks I was using manually that function to enlarge
and minimize global face. So problem came recently.
And I always use Lucid toolkit.
--
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), (continued)
- 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
- 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), Jean Louis, 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), Jean Louis, 2023/01/06
bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), martin rudalics, 2023/01/08
bug#60585: 30.0.50; global-text-scale-adjust shrinks window (was not before), Jean Louis, 2023/01/09