1 2 3 4 5 6 7 8 9
let currentNotebook:string|undefined = undefined; export function getCurrentNotebookId() : string | undefined { return currentNotebook; } export function setCurrentNotebookId(id:string){ currentNotebook = id; }