4 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	172ab9f343	Fix wrong selector for ignoring autohide=false	2018-11-29 21:05:43 +02:00
MrOtherGuy	47b8ebb60e	Don't modify menubarr height if autohide=false	2018-11-29 21:03:11 +02:00
MrOtherGuy	28632ea2ac	Add new file	2018-11-29 20:49:59 +02:00