Thanks for the review! Are you thinking about a preference in settings? Or changing the width like how you can change it on other windows when you grab their window border?
The later would not be possible I fear, but the setting would be OK.