import * as vscode from 'vscode' ; import { EXTENSION_SCHEME } from '../const' ; export const makeUriString = ( textKey , timestamp ) : string => `${ EXTENSION_SCHEME }:text/${ textKey }?_ts=${ timestamp . getTime ( ) }` ; export const extractTextKey = ( uri ) : string => uri . path . match ( /^text\/([a-z\d]+)/ ) ! [ 1 ] ;