Please widen the vertical scroll bar on the right hand side of the editor

Description

We prefer a wider scroll bar in the editor.
Could you please widen it?

Status

Assignee

Alex Eng

Reporter

ykatabam@redhat.com

Labels

None

Tested Version/s

None

Sprint

None

Fix versions

Priority

unspecified