Refactor jump-to functionality, remove unused code

Author: krassowski

packages/jupyterlab-go-to-definition/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@krassowski/jupyterlab_go_to_definition",
-  "version": "1.0.0",
+  "version": "1.1.0",
   "description": "Jump to definition of a variable or function in JupyterLab",
   "keywords": [
     "jupyter",

packages/jupyterlab-go-to-definition/src/editors/codemirror/extension.spec.ts

@@ -1,4 +1,4 @@
-import { IJumpPosition } from './jump';
+import { IGlobalPosition } from './jump';
 import { IModelDB, IObservableUndoableList } from '@jupyterlab/observables';
 import { JSONValue } from '@lumino/coreutils';
 
@@ -24,12 +24,12 @@ export class JumpHistory {
     }
   }
 
-  store(position: IJumpPosition) {
+  store(position: IGlobalPosition) {
     this.ensure_history_is_ready();
     this.jump_history.push(JSON.stringify(position));
   }
 
-  recollect(): IJumpPosition {
+  recollect(): IGlobalPosition {
     this.ensure_history_is_ready();
     if (this.jump_history.length === 0) {
       return;
@@ -38,6 +38,6 @@ export class JumpHistory {
     // being lazy here - undo addition instead of removal ;)
     this.jump_history.undo();
 
-    return JSON.parse(last_position as string) as IJumpPosition;
+    return JSON.parse(last_position as string) as IGlobalPosition;
   }
 }