message: Selection persistance/creation (re: section shifting)
diff: @@ -598,8 +598,14 @@ export class Commander {
  // when supported, negative lookbehind at start would be nice --- (?<!\\)
  const pattern = /\\(part|chapter|section|subsection|subsection|subsubsection|paragraph|subparagraph)(\[.+?\])?(\{.+?\})/g
  + function getLastLineLength(someText: string) {
  + const lines = someText.split(/\n/)
  + return lines.slice(lines.length - 1, lines.length)[0].length
  + }
  +
  const document = editor.document
  const selections = editor.selections
  + const newSelections: vscode.Selection[] = []
  const edit = new vscode.WorkspaceEdit()
  @@ -612,9 +618,22 @@ export class Commander {
  const selectionText = document.getText(selection)
  const newText = selectionText.replace(pattern, replacer)
  edit.replace(document.uri, selection, newText)
  +
  + const changeInEndLineLength = getLastLineLength(newText) - getLastLineLength(selectionText)
  + newSelections.push(
  + new vscode.Selection(selection.anchor,
  + new vscode.Position(selection.active.line,
  + selection.active.character + changeInEndLineLength
  + )
  + )
  + )
  }
  - vscode.workspace.applyEdit(edit)
  + vscode.workspace.applyEdit(edit).then(success => {
  + if (success) {
  + editor.selections = newSelections
  + }
  + })
  }
  devParseLog() {
  