Commit 757f366
committed
autohide-window : add margins to the opposite edge if autohide is disabled
The margins being mostly a matter of style, this makes it so that if a margin is applied and autohide is disabled, space is reserved on both sides of the window.
However, wayfire 0.10.1 with gtk4-layer-shell 1.3 has a bug where auto
exclusive zone doesn’t account for the margin size, which causes shell
toplevels to go outside of the reserved space. Until this is fixed, on wayfire,
this patch only prevents overlap and doesn’t cause the intended behaviour
Wayfire issue : WayfireWM/wayfire#30381 parent 0d3d68e commit 757f366
1 file changed
Lines changed: 24 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
204 | 204 | | |
205 | 205 | | |
206 | 206 | | |
207 | | - | |
208 | | - | |
209 | | - | |
210 | | - | |
211 | | - | |
| 207 | + | |
| 208 | + | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
212 | 215 | | |
213 | 216 | | |
214 | 217 | | |
215 | 218 | | |
216 | 219 | | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
217 | 236 | | |
218 | 237 | | |
219 | 238 | | |
| |||
0 commit comments