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
Currently, we have these indentation functions on TextDocument:
indent (int count)
string indentationAtPosition(int pos)
removeIndent(int count)
The 1. and 3. are consistent, but indentationAtPosition should ideally also return an int, as then you can do things like:
"Indent this line 1 more than this other line".
That would probably require us to add a "indent-spaces" property or some such for each document, that defines how many spaces count as one indentation (or whether it's tab?)
Ideally, an API for working line-based would also be useful.
e.g.:
indentLine(int line, int count)
int indentationAtLine(int line)
The text was updated successfully, but these errors were encountered:
Currently, we have these indentation functions on TextDocument:
The 1. and 3. are consistent, but
indentationAtPosition
should ideally also return anint
, as then you can do things like:"Indent this line 1 more than this other line".
That would probably require us to add a "indent-spaces" property or some such for each document, that defines how many spaces count as one indentation (or whether it's tab?)
Ideally, an API for working line-based would also be useful.
e.g.:
The text was updated successfully, but these errors were encountered: