Closed MarcusE1W closed 7 years ago
Wow that's an odd one. Does it persist if you close and open the editor window again ? I'm thinking there might be some bug with how the gutter stuff is implemented in Light Table.
It does persist. I did a few tests to see when it happens exactly.
I am of course not sure if it is related to elm at all, it is just the only language I really use.
I have a few screenshots to show how it looks:
When I start lighttable and open a file the bar overlays some of the text:
After opening an additional browser tab and then juming back to the elm prog it is only a bit overlayed now
After turning the line numbering on it is ok
Now turning the line numbering off again is also ok and there is actually less bar.
When I open another elm programme there is no overlay, but this bar is wider again. The bar in the previous elm window stays thinner.
When I open a different source code there is no bar at all. (I only tried with html and C)
So there it is. The workaround for now seems to be to turn line numbering on or off.
Thx for the detailed description !
Ok this is what it should have looked like (depending on skin/theme).
So it seems that the combination of your skin and faulty behavior/css the gutter doesn't adjust the remaning editor size appropriately. I'll need to look into what can be done.
In the mean time you can remove the exposed indication gutter by adding the following to your user.behaviors file:
[:editor.elm :-lt.plugins.elm-light.gutter/show-elm-gutter]
[:editor.elm :-lt.plugins.elm-light.gutter/elm-gutter-exposeds]
[:editor.elm :-lt.plugins.elm-light.gutter/elm-gutter-exposeds-mark]
(the minus sign before a behavior (think event if you like) will disable that particular behavior.)
You probably need to reopen any open editors to see the effects. But once that is done, from then on the elm specific gutter should be gone.
It's a shame it's misbehaving, cause I find it kind of useful to see if something is exposed given the context I'm in, rather than having to scroll to the top of the file to see the exposing declaration for the module 😢
Btw what skin/theme are you using ?
Thanks for the help. I am using rubyblue. You are right, it is probably linked to the skin. i have changed to "default" and the bar is entirely gone .
nope it's there (but for that skin it has the same color as the editor) cause I can see the @ sign to the left of main !
Anyways, I have a feeling that the problem with the gutter not adjusting margins correctly is a generic error. I seem to recall having seen it myself when I think about it.
At the left side of the editor window I have a coloured column/bar which overlays the first characters in the editor.
Looks a bit like the line number bar but without the numbers. I have turned line numbers off in the settings using.
So I don't know why this bar is therein first place and then it overlays the text. Any help is appreciated.
See screenshot: