[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24107: 25.1; menu-bar-size and tool-bar-size are reported inconsiste
|
From: |
Eli Zaretskii |
|
Subject: |
bug#24107: 25.1; menu-bar-size and tool-bar-size are reported inconsistently on w32 |
|
Date: |
Sat, 30 Jul 2016 13:36:37 +0300 |
> Date: Sat, 30 Jul 2016 11:39:22 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: 24107@debbugs.gnu.org
>
> It's not related to fringes. I forgot to subtract the width of the
> external borders. Does the attached patch (mostly fixing indentation
> hell) give the correct result?
Yes, thanks.