chrome
|
Use tabPadding property in Windows theme
|
2018-01-11 19:44:54 +01:00 |
linux
|
Linux theme improvements
|
2018-01-11 19:45:12 +01:00 |
mac
|
Use tabPadding property in Windows theme
|
2018-01-11 19:44:54 +01:00 |
windows
|
Use tabPadding property in Windows theme
|
2018-01-11 19:44:54 +01:00 |