mirror of
https://github.com/ckaczor/azuredatastudio.git
synced 2026-02-17 02:51:36 -05:00
Merge from vscode a4177f50c475fc0fa278a78235e3bee9ffdec781 (#8649)
* Merge from vscode a4177f50c475fc0fa278a78235e3bee9ffdec781 * distro * fix tests
This commit is contained in:
@@ -2327,6 +2327,11 @@ export interface IEditorScrollbarOptions {
|
||||
* Defaults to true.
|
||||
*/
|
||||
handleMouseWheel?: boolean;
|
||||
/**
|
||||
* Always consume mouse wheel events (always call preventDefault() and stopPropagation() on the browser events).
|
||||
* Defaults to true.
|
||||
*/
|
||||
alwaysConsumeMouseWheel?: boolean;
|
||||
/**
|
||||
* Height in pixels for the horizontal scrollbar.
|
||||
* Defaults to 10 (px).
|
||||
@@ -2357,6 +2362,7 @@ export interface InternalEditorScrollbarOptions {
|
||||
readonly verticalHasArrows: boolean;
|
||||
readonly horizontalHasArrows: boolean;
|
||||
readonly handleMouseWheel: boolean;
|
||||
readonly alwaysConsumeMouseWheel: boolean;
|
||||
readonly horizontalScrollbarSize: number;
|
||||
readonly horizontalSliderSize: number;
|
||||
readonly verticalScrollbarSize: number;
|
||||
@@ -2391,6 +2397,7 @@ class EditorScrollbar extends BaseEditorOption<EditorOption.scrollbar, InternalE
|
||||
verticalScrollbarSize: 14,
|
||||
verticalSliderSize: 14,
|
||||
handleMouseWheel: true,
|
||||
alwaysConsumeMouseWheel: true
|
||||
}
|
||||
);
|
||||
}
|
||||
@@ -2410,6 +2417,7 @@ class EditorScrollbar extends BaseEditorOption<EditorOption.scrollbar, InternalE
|
||||
verticalHasArrows: EditorBooleanOption.boolean(input.verticalHasArrows, this.defaultValue.verticalHasArrows),
|
||||
horizontalHasArrows: EditorBooleanOption.boolean(input.horizontalHasArrows, this.defaultValue.horizontalHasArrows),
|
||||
handleMouseWheel: EditorBooleanOption.boolean(input.handleMouseWheel, this.defaultValue.handleMouseWheel),
|
||||
alwaysConsumeMouseWheel: EditorBooleanOption.boolean(input.alwaysConsumeMouseWheel, this.defaultValue.alwaysConsumeMouseWheel),
|
||||
horizontalScrollbarSize: horizontalScrollbarSize,
|
||||
horizontalSliderSize: EditorIntOption.clampedInt(input.horizontalSliderSize, horizontalScrollbarSize, 0, 1000),
|
||||
verticalScrollbarSize: verticalScrollbarSize,
|
||||
@@ -3358,7 +3366,7 @@ export const EditorOptions = {
|
||||
lineNumbers: register(new EditorRenderLineNumbersOption()),
|
||||
lineNumbersMinChars: register(new EditorIntOption(
|
||||
EditorOption.lineNumbersMinChars, 'lineNumbersMinChars',
|
||||
5, 1, 10
|
||||
5, 1, 300
|
||||
)),
|
||||
links: register(new EditorBooleanOption(
|
||||
EditorOption.links, 'links', true,
|
||||
|
||||
@@ -386,7 +386,7 @@ export class TextModelResolvedOptions {
|
||||
defaultEOL: DefaultEndOfLine;
|
||||
trimAutoWhitespace: boolean;
|
||||
}) {
|
||||
this.tabSize = src.tabSize | 0;
|
||||
this.tabSize = Math.max(1, src.tabSize | 0);
|
||||
this.indentSize = src.tabSize | 0;
|
||||
this.insertSpaces = Boolean(src.insertSpaces);
|
||||
this.defaultEOL = src.defaultEOL | 0;
|
||||
|
||||
@@ -1246,9 +1246,9 @@ export function isResourceTextEdit(thing: any): thing is ResourceTextEdit {
|
||||
}
|
||||
|
||||
export interface ResourceFileEdit {
|
||||
oldUri: URI;
|
||||
newUri: URI;
|
||||
options: { overwrite?: boolean, ignoreIfNotExists?: boolean, ignoreIfExists?: boolean, recursive?: boolean };
|
||||
oldUri?: URI;
|
||||
newUri?: URI;
|
||||
options?: { overwrite?: boolean, ignoreIfNotExists?: boolean, ignoreIfExists?: boolean, recursive?: boolean };
|
||||
}
|
||||
|
||||
export interface ResourceTextEdit {
|
||||
|
||||
Reference in New Issue
Block a user