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?

Activity

Show:
ykatabam
July 3, 2017, 11:39 PM

This is a request from tkuroda@redhat.com

Ready for Release

Assignee

Alex Eng

Reporter

ykatabam

Labels

None

Tested Version/s

None

Sprint

None

Fix versions

Priority

unspecified