[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: |
martin rudalics |
|
Subject: |
bug#24107: 25.1; menu-bar-size and tool-bar-size are reported inconsistently on w32 |
|
Date: |
Sat, 30 Jul 2016 11:39:22 +0200 |
> OK, but this means you can compute the width of the tool bar as you do
> for any other window, and then add to that the width of the fringes.
> Since on Windows the tool bar is just a special window which doesn't
> have fringes, this should be accurate, no?
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?
martin
w32fns.diff
Description: Text document