[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22000: Patch addressing the menu-bar frame-resize interaction
From: |
Vivek Dasmohapatra |
Subject: |
bug#22000: Patch addressing the menu-bar frame-resize interaction |
Date: |
Mon, 16 Jul 2018 20:58:37 +0100 (BST) |
User-agent: |
Alpine 2.02 (DEB 1266 2009-07-14) |
I have #ifdef'd the calls you mentioned with GTK_CHECK_VERSION guards.
I also checked with one of the gnome/gtk devs and wrapping a
widget with strict ideas about its size is how you are supposed
to prevent its size from propagating: I suppose an alternative
would be some widget that doesn't resize or scroll at all,
but the basic approach would be the same.
I could not find a way to make overlay scrolbars behave, I think it's
probably a bug in overlay scrollbars since classic scrollbars behave
just fine: I don't think that will be a problem as 3.16 is when overlay
scrolling was introduced and that was also when the disabling function
was provided.
0001-GTK3-menu-bars-force-frame-resizing-Bug-22000.patch
Description: Text Data
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/15
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/07/16
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/16
- bug#22000: Patch addressing the menu-bar frame-resize interaction,
Vivek Dasmohapatra <=
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/07/17
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/17
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/17
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/07/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/07/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/18
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/07/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/19
- bug#22000: Patch addressing the menu-bar frame-resize interaction, martin rudalics, 2018/07/20
- bug#22000: Patch addressing the menu-bar frame-resize interaction, Vivek Dasmohapatra, 2018/07/20