Skip to content

[pull] main from microsoft:main #373

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 59 commits into
base: main
Choose a base branch
from
Open

Conversation

pull[bot]
Copy link

@pull pull bot commented Jul 5, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.2)

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot locked and limited conversation to collaborators Jul 5, 2025
@pull pull bot added the ⤵️ pull label Jul 5, 2025
bpasero and others added 18 commits July 6, 2025 08:46
* up `@playwright/test` to `1.53.2`

* enable tracing on CI always
…254294)

* layout - ensure panel/auxbar are focused if maximised after startup

* fix: ensure whenReadyPromise is completed before focusing the layout
Add shell type to shell integration details in terminal tab hover
Tyriar and others added 30 commits July 7, 2025 06:48
Allow completion providers for undefined shell types
* Initial plan

* Fix tiles wrapping OOTB in chat welcome view

Change flex-wrap from wrap to nowrap in .chat-welcome-view-suggested-prompts
to prevent tiles from wrapping unnecessarily out of the box.

Co-authored-by: bhavyaus <[email protected]>

* Update chat welcome view to allow suggested prompts to wrap and add row gap

---------

Co-authored-by: copilot-swe-agent[bot] <[email protected]>
Co-authored-by: bhavyaus <[email protected]>
Co-authored-by: bhavyaus <[email protected]>
Engineering - mode descriptive cache names
…n-fix

revised new welcome experience intro slide illustration color tokens
add non-markdown description back for chat.tools.autoApprove
previously appeared as "(anonymous)" in the logs
Pick up latest TS for building VSCode
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.