| commit | f8d3d8d7f5415e889315c6b7de430ead61ae7aeb | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Thu Aug 29 12:13:29 2019 +0200 |
| committer | omar <omarcornut@gmail.com> | Thu Aug 29 12:21:09 2019 +0200 |
| tree | ab26d58163b63c96281c13a0306d7cc787c73c5e | |
| parent | bfcdaeb6108e5473a967532c712ed36d56d2fee9 [diff] |
TabBar: improved shrinking for large number of tabs to avoid leaving extraneous space on the right side. Individuals tabs are given integer-rounded width and remainder is spread between tabs left-to-right.