add public api

2023-10-18 00:29:56 +08:00
parent 4245283e05
commit 7dab4601d2
19 changed files with 56 additions and 17 deletions
@@ -10,10 +10,11 @@ import { Disposable, toDisposable } from 'common/Lifecycle';
 import { getSafariVersion, isSafari } from 'common/Platform';
 import { ICoreService, IDecorationService, ILogService, IOptionsService } from 'common/services/Services';
 import { ITerminalAddon, Terminal } from 'xterm';
+import { WebglAddon as IWebglApi } from 'xterm-addon-webgl';
 import { WebglRenderer } from './WebglRenderer';
 import { setTraceLogger } from 'common/services/LogService';

-export class WebglAddon extends Disposable implements ITerminalAddon {
+export class WebglAddon extends Disposable implements ITerminalAddon , IWebglApi {
  private _terminal?: Terminal;
  private _renderer?: WebglRenderer;

@@ -17,6 +17,9 @@
      ],
      "browser/*": [
        "../../../src/browser/*"
+      ],
+      "xterm-addon-webgl": [
+        "../typings/xterm-addon-webgl.d.ts"
      ]
    },
    "strict": true,