[WISHLIST / SUGGESTION] Wider scroll bars on Rhino8's script editor

[eirannejad (Ehsan Iran-Nejad)]

ScriptEditor wish: word wrapping and bigger scroll bars

@eirannejad I very much second the wider scroll bars. I had made a thread about this some time ago; it just never got noticed. But there I talk about various scrollbar widths (I think I would prefer 10-13 pixels) and on that other thread I also show how an app called Snagit manages to have a thin-looking scrollbar that is still easy to grab (my personal preference is for one that maintains its width, but a snagit-like scrollbar would also be quite acceptable). I’m no expert on UI or scrollbars…