Adding tabbar customization options, fixing tabhighlight, tabreverse, tabbar.active to work as intended.
#1748
| Job | Run time |
|---|---|
| 1m 31s | |
| 53s | |
| 45s | |
| 44s | |
| 41s | |
| 1m 32s | |
| 6m 6s |