Tabs - Border Width kan niet op 0

[Jorus]

WWB 18.2.0, ik begin een nieuw project, gebruik een Tabs en wijzig daar de Border Width (onder header) door hem op 0 te zetten. Het gaat goed, alleen als ik het project opsla en opnieuw open, zet ie de Border Width automatisch weer op 1. Hetzelfde gebeurt als ik de Tabs kopieer en elders plak. Hoe zorg ik ervoor dat de Border Width op 0 blijft zitten?

[Pablo]

Je hebt gelijk, de tab border wordt op dit moment niet opgeslagen.
Ik zal dit in de volgende update aanpassen.