One more thing: At least in gtk3.20, tiled window decorations can be
themed differently, just as maximized windows can be. probably this is
true in older versions as well, so the margin on tiled windows issue can
be fixed in the themes without changing the margins on a normal window.
In my experie
On Sat, Feb 6, 2016 at 8:56 PM, luke wrote:
> I've never used tiling so naturally I would never see that bug. I did see
> a similar result,
> where if I drag gnome-disks to the top edge it doesn't always go all the
> way there.
> For my purposes that's OK, but probably not for someone using tilin
I've never used tiling so naturally I would never see that bug. I did see a
similar result,
where if I drag gnome-disks to the top edge it doesn't always go all the way
there.
For my purposes that's OK, but probably not for someone using tiling. That
margin
always exists, it's what becomes the
If you tried to merge client-frame-api branch that it could cause
problem, because it is already merged.
Rounded corners works, but there is new problems. Select theme that adds
margin != 0 on .window-frame - for example Adwaita and then try to tile
CSD window to left or right side of screen.
--
4 matches
Mail list logo
