Commit graph

7 commits

Author SHA1 Message Date
MrOtherGuy
5e46b7a0a3 Move window control placeholder styles to shared stylesheet 2019-02-09 00:03:13 +02:00
MrOtherGuy
feba8a6403 Use similar code for window drag space in all stylesheets part2 2019-02-08 10:47:26 +02:00
MrOtherGuy
931f9b1292 Add important to really hide tab-close-button margin on touch density 2019-02-05 08:17:03 +02:00
MrOtherGuy
4593817205 update 2018-11-29 20:49:30 +02:00
MrOtherGuy
2d768a9563 Add variable controlled drag-space 2018-11-26 03:54:06 +02:00
MrOtherGuy
31e7c0b597 use pre-tabs to pad tabs a bit 2018-11-26 01:28:00 +02:00
MrOtherGuy
c9f12e9633 Update 2018-11-26 01:13:23 +02:00