You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The easiest way to add a third element is by moving over the ] character, pressing i, typing a comma and then enter. After the auto-indentation, the code will look like this:
[some_long_name,
some_other_long_name,
]
It would be more convenient to have this:
[some_long_name,
some_other_long_name,
]
We cannot just say that from now on we align the ] with the beginning of the previous line, because that would mean having incorrect indentations like this one:
[some_long_name,
some_other_long_name
]
The proposal is that when indenting ], we should examine the previous token, and if it is a comma, we could indent the ] line as if it started with e.g. an atom.
The text was updated successfully, but these errors were encountered:
Consider having a list:
The easiest way to add a third element is by moving over the
]
character, pressingi
, typing a comma and thenenter
. After the auto-indentation, the code will look like this:It would be more convenient to have this:
We cannot just say that from now on we align the
]
with the beginning of the previous line, because that would mean having incorrect indentations like this one:The proposal is that when indenting
]
, we should examine the previous token, and if it is a comma, we could indent the]
line as if it started with e.g. an atom.The text was updated successfully, but these errors were encountered: