Commit graph

5 commits

Author SHA1 Message Date
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