Fix ordering issue of snippets after deleting while filtering or searching

Author: jahn96

src/CodeSnippetDisplay.tsx

@@ -1166,9 +1166,13 @@ export class CodeSnippetDisplay extends React.Component<
           editor.dispose();
         }
 
+        console.log('delete snippet');
+        console.log(codeSnippet.id);
+        console.log(this.props._codeSnippetWidgetModel._snippets);
         // deleting snippets when there is one snippet active
         contentsService.delete('snippets/' + codeSnippet.name + '.json');
         this.props._codeSnippetWidgetModel.deleteSnippet(codeSnippet.id);
+        this.props._codeSnippetWidgetModel.reorderSnippet();
         this.props._codeSnippetWidgetModel.updateSnippetContents();
 
         // active tags after delete

src/CodeSnippetWidget.tsx

@@ -331,6 +331,7 @@ export class CodeSnippetWidget extends ReactWidget {
       idx = parseInt(snippet.id);
     }
 
+    console.log(this._codeSnippetWidgetModel.snippets);
     /**
      * moving snippets inside the snippet panel
      */

src/CodeSnippetWidgetModel.ts

@@ -26,6 +26,13 @@ export class CodeSnippetWidgetModel implements ICodeSnippetWidgetModel {
     this._snippets = snippetList;
   }
 
+  reorderSnippet(): void {
+    this.sortSnippets();
+    for (let i = 0; i < this._snippets.length; i++) {
+      this._snippets[i].id = i;
+    }
+  }
+
   addSnippet(newSnippet: ICodeSnippet, index: number): void {
     // append a new snippet created from input form to the end
     if (newSnippet.id === -1) {