# HG changeset patch # User wenzelm # Date 1497288496 -7200 # Node ID 50a28b3cceb2c23416ba4de0183e38f7061ddf4b # Parent fd26cf23e9b2660d3239fd72cdebc93131a5beef clarified message; diff -r fd26cf23e9b2 -r 50a28b3cceb2 src/Tools/VSCode/extension/src/symbol.ts --- a/src/Tools/VSCode/extension/src/symbol.ts Mon Jun 12 15:52:49 2017 +0200 +++ b/src/Tools/VSCode/extension/src/symbol.ts Mon Jun 12 19:28:16 2017 +0200 @@ -1,7 +1,7 @@ 'use strict'; import * as library from './library' -import { Disposable, DocumentSelector, ExtensionContext, extensions } from 'vscode'; +import { Disposable, DocumentSelector, ExtensionContext, extensions, window } from 'vscode' /* ASCII characters */ @@ -145,4 +145,7 @@ } }) } + else { + window.showWarningMessage("Please install extension \"Prettify Symbols Model\" and restart!") + } } \ No newline at end of file