0c3766e44099658854d07549ffd94ac9cbb96f70337877da515a2204e8eb57fef0fd5cf9762fcbfd9f0e185255dc09696a72e57996c53bd4d1d83df951a682 951 B

1234567891011121314151617181920212223
  1. /*---------------------------------------------------------------------------------------------
  2. * Copyright (c) Microsoft Corporation. All rights reserved.
  3. * Licensed under the MIT License. See License.txt in the project root for license information.
  4. *--------------------------------------------------------------------------------------------*/
  5. import { Emitter } from '../../../base/common/event.js';
  6. export const EditorZoom = new class {
  7. constructor() {
  8. this._zoomLevel = 0;
  9. this._onDidChangeZoomLevel = new Emitter();
  10. this.onDidChangeZoomLevel = this._onDidChangeZoomLevel.event;
  11. }
  12. getZoomLevel() {
  13. return this._zoomLevel;
  14. }
  15. setZoomLevel(zoomLevel) {
  16. zoomLevel = Math.min(Math.max(-5, zoomLevel), 20);
  17. if (this._zoomLevel === zoomLevel) {
  18. return;
  19. }
  20. this._zoomLevel = zoomLevel;
  21. this._onDidChangeZoomLevel.fire(this._zoomLevel);
  22. }
  23. };