[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#74750: clone-frame and make-frame pixelwise issues
From: |
martin rudalics |
Subject: |
bug#74750: clone-frame and make-frame pixelwise issues |
Date: |
Sat, 14 Dec 2024 09:27:04 +0100 |
User-agent: |
Mozilla Thunderbird |
> Indeed 15 is the vertical scroll bar width. This was what I reported in the
> original bug submission. You suggested a patch that would accommodate
> fringes, et.al. If you'd like me to make adjustments; e.g., resizing
> fringes or whatever, happy to do it and rerun.
I've been throwing out the child with the bathwater. Please try the
attached patch which retains an important conjunct.
> These are all ostensively calls to clone-frame. I'd expect, as I guess most
> people would, that cloning produces the precise geometry of the originating
> frame, scroll bar or not.
The major purpose of 'frame-inhibit-implied-resize' is to avoid resizes
when a frame has been tailored to fit into some arrangement of windows
on the display as, for example, with a tiling window manager. Here I
hardly ever use it. By design, it should have no effect when making a
new frame which is what the corrected patch should support. Still, it
might not work for elements like the external tool bar.
>> We can try to make it behave reasonably when
>> these values change but I am not sure whether we will succeed.
>>
>
> Let's try.
Let's.
martin
make-frame.diff
Description: Text Data
- bug#74750: clone-frame and make-frame pixelwise issues, (continued)
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/10
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/10
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/11
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/11
- bug#74750: clone-frame and make-frame pixelwise issues, Eli Zaretskii, 2024/12/12
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/12
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/13
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/13
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/13
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/13
- bug#74750: clone-frame and make-frame pixelwise issues,
martin rudalics <=
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/15
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, martin rudalics, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/16
- bug#74750: clone-frame and make-frame pixelwise issues, Ship Mints, 2024/12/16