don't always consume mouse wheel (#213383)

for chat widget (list) and for chat input editor (actually all simple editor cases)
This commit is contained in:
Johannes Rieken 2024-05-24 13:22:56 +02:00 committed by GitHub
parent 2e98100d22
commit de1410c53f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions

View file

@ -455,6 +455,7 @@ export class ChatWidget extends Disposable implements IChatWidget {
{
identityProvider: { getId: (e: ChatTreeItem) => e.id },
horizontalScrolling: false,
alwaysConsumeMouseWheel: false,
supportDynamicHeights: true,
hideTwistiesOfChildlessElements: true,
accessibilityProvider: this.instantiationService.createInstance(ChatAccessibilityProvider),

View file

@ -25,7 +25,8 @@ export function getSimpleEditorOptions(configurationService: IConfigurationServi
hideCursorInOverviewRuler: true,
selectionHighlight: false,
scrollbar: {
horizontal: 'hidden'
horizontal: 'hidden',
alwaysConsumeMouseWheel: false
},
lineDecorationsWidth: 0,
overviewRulerBorder: false,