Indeed since rev dacc8442bbae, there is now a horizontal scrollbar which is nicer. But any way, I think that when the menu is collapsed, we should try to avoid such scrollbar. So here is review321241002 which gives 10% of vw for borders.
|2020-04-20 22:27:51||ced||set||messageid: <email@example.com>|
|2020-04-20 22:27:51||ced||set||recipients: + pokoli|
|2020-04-20 22:27:51||ced||link||issue9186 messages|
Showing 10 items. Show all history (warning: this could be VERY long)