modify the margin on the left #4750

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Closed

CarlosMiguelCuevas wants to merge 1 commit into arduino:master from CarlosMiguelCuevas:spaceInTheLeft

Closed

modify the margin on the left #4750

CarlosMiguelCuevas wants to merge 1 commit into arduino:master from CarlosMiguelCuevas:spaceInTheLeft

Conversation

CarlosMiguelCuevas

Copy link

@CarlosMiguelCuevas CarlosMiguelCuevas commented Mar 24, 2016

I increase the margin of the scrollPane because of the issue #4562


 modify the marin on the left of the scrollPane because of the issue a...

f1208a9

...rduino#4562

@CarlosMiguelCuevas CarlosMiguelCuevas mentioned this pull request

Mar 24, 2016

add a bit of space around the left-hand rule #4562

Open

@ivanebernal

Copy link

Contributor

ivanebernal commented Mar 24, 2016

LGTM

@cmaglie

Copy link

Member

cmaglie commented Mar 25, 2016

This patch leaves a lot of blank space on the left side I don't think that it's what the OP of #4562 intented when he asked for some blank space on the left.
Another ugly side effect is that the text seems to "disappear" when scrolling horizontally:

weird

Moreover this doesn't solve the problem reported by @per1234 here: #4562 (comment)
it's still difficult to select text from the first character of a line.