From 193f18f007e77d319cb6dc3037a0c18119360c75 Mon Sep 17 00:00:00 2001 From: "qingyi.xjh" Date: Wed, 18 Dec 2024 10:09:46 +0800 Subject: [PATCH] chore: no hack --- src/vs/base/browser/settings.ts | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 src/vs/base/browser/settings.ts diff --git a/src/vs/base/browser/settings.ts b/src/vs/base/browser/settings.ts deleted file mode 100644 index 9e76403eb52..00000000000 --- a/src/vs/base/browser/settings.ts +++ /dev/null @@ -1,26 +0,0 @@ -/* eslint-disable header/header */ - -class OverflowContentWidgetsSettings { - private _TOP_PADDING = 22; - private _BOTTOM_PADDING = 22; - - set topPadding(num: number) { - if (Number.isInteger(num)) { - this._TOP_PADDING = num; - } - } - get topPadding() { - return this._TOP_PADDING; - } - - set bottomPadding(num: number) { - if (Number.isInteger(num)) { - this._BOTTOM_PADDING = num; - } - } - get bottomPadding() { - return this._BOTTOM_PADDING; - } -} - -export const overflowWidgetsSettings = new OverflowContentWidgetsSettings();