New Explorer: indentation at root has changed

[bpasero]

Refs: #66485

It looks like the new explorer is no longer nicely aligned with the title:

[bpasero]

@joaomoreno I also think the spacing from twistie to label has increased.

[isidorn]

The indent has changed and became more compact. I personally do not mind this.
While it would be cool to use less space between twistie and element as before.
@joaomoreno I think all the trees should be the same and this shuold not be configurable.

[bpasero]

At least visually I would align the tree with the label of the view as before. Not sure about indentation within the tree. A more compact form seems better to me.

[shreeve]

@bpasero - The more compact indentation level (10px per level) makes it hard to see the nesting.

How hard would it be to make this a user configuration setting? It's currently just a hard coded value of 10 in the code. Could you make it something like explorer.indentPixels or something like that?

[joaomoreno]

The new indentation was an arbitrary value set by me. I will get it the same as the old tree.

@shreeve makes a good point, so @isidorn please create a separate issue for that if you agree.

[isidorn]

@joaomoreno yeah I agree. Though should this for every tree or only for explorer?
I think for every tree. So we should call it something like tree.indentPixels
Created #66605

[shreeve]

Sounds great! Making it user-configurable via the setting makes this really nice. —

…

On Wed, Jan 16, 2019 at 7:40 AM Isidor Nikolic ***@***.***> wrote: @joaomoreno <https://github.com/joaomoreno> yeah I agree. Though should this for every tree or only for explorer? I think for every tree. So we should call it something like tree.indentPixels — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#66580 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAIuG_k4GM4mX9us_ZxMpayFVy2NY4w6ks5vDznFgaJpZM4aClPI> .