vscode: removed unused import;

--- a/src/Tools/VSCode/extension/src/extension.ts	Fri Jul 05 13:16:47 2024 +0200
+++ b/src/Tools/VSCode/extension/src/extension.ts	Fri Jul 05 13:30:07 2024 +0200
@@ -10,7 +10,6 @@
 import * as platform from './platform'
 import * as library from './library'
 import * as file from './file'
-import * as symbol from './symbol'
 import * as vscode_lib from './vscode_lib'
 import * as decorations from './decorations'
 import * as preview_panel from './preview_panel'