Trash bar: make Empty button bigger
Prepare for 3.11.5