We prefer a wider scroll bar in the editor.Could you please widen it?
This is a request from tkuroda@redhat.com