import * as vscode from "vscode" ; import { VSCodeGlobals } from "./VSCodeGlobals" ; import { attemptToGreetUser } from "./WelcomeService" ; const SAVED_VERSION = "doki.theme.version" ; const DOKI_THEME_VERSION = "v19.0.0" ; export function attemptToNotifyUpdates ( context ) { const savedVersion = VSCodeGlobals . globalState . get ( SAVED_VERSION ) ; if ( savedVersion && savedVersion !== DOKI_THEME_VERSION ) { VSCodeGlobals . globalState . update ( SAVED_VERSION , DOKI_THEME_VERSION ) ; vscode . window . showInformationMessage ( `Doki Theme updated to ${ DOKI_THEME_VERSION }. 
            Use "Doki Theme Changelog" command for more info.` , { title : "Show Changelog" } ) . then ( ( item ) => { if ( item ) { vscode . commands . executeCommand ( "doki-theme.doki.changelog" ) ; } } ) ; } else if ( ! savedVersion ) { VSCodeGlobals . globalState . update ( SAVED_VERSION , DOKI_THEME_VERSION ) ; attemptToGreetUser ( context ) ; } }