search

Komodo / KomodoEdit

Komodo Edit is a fast and free multi-language code editor. Written in JS, Python, C++ and based on the Mozilla platform.
http://www.komodoide.com/komodo-edit
Other
2.16k stars 303 forks source link

Place's scrollbar is not attached to the border #1502

Open jsnjack opened 8 years ago

jsnjack commented 8 years ago

Short Summary

There is a space between place's scrollbar and border

Steps to Reproduce

Open any project with long list of files, select file and scroll

Expected results

There is no space between scrollbar and border

Actual results

There is space between scrollbar and border

Platform Information

Komodo Edit, version 10.0.0, build 17209, platform linux-x86_64

Additional Information

screenshot from 2016-05-17 22-58-43

Naatan commented 8 years ago

This is by design, but what isn't by design is that the selection shows on the other end of it. I'll look into that.