Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Jan 14, 2026

See Commits and Changes for more details.


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

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

joshspicer and others added 8 commits January 13, 2026 22:38
* checkpoint: glow

* checkpoint 2

* checkpoint title bar

* stash a bit of tidy

* checkpoint status bar UI

* x button

* polish

* polish

* tweaks

* gate on chatenabled
feat-internal: Export Chat as Zip with Repository Context
* first round

* icons

* nits

* Agent type picker and improved new chat actions

---------

Co-authored-by: Benjamin Pasero <[email protected]>
…d the line height (#286006)

* using relative values instead of absolute values for the font size and the line height

* renaming to multiplier

* setting back to font size and line height

* Revert "renaming to multiplier"

This reverts commit 5588855.

* doing some polishing work

* changing the api

* updating to higher version of vscode-textmate

* also changing the vscode textmate package version for the remote extension

* increasing the vscode textmate version in remote/web

* updating package lock json

* using css variables instead of fetching font size from config service

* removing the second multiplier event

* adding ? after dom element style

* Ensure dots from floating fontSize are stripped from class names

---------

Co-authored-by: Alexandru Dima <[email protected]>
* Revert "Merge pull request #287668 from mjbvz/dev/mjbvz/eventual-sparrow"

This reverts commit 81f7af4, reversing
changes made to 85a14f9.

* Revert "Merge pull request #286642 from microsoft/dev/mjbvz/chat-session-item-controller"

This reverts commit b39ecc3, reversing
changes made to 45aced5.
@pull pull bot locked and limited conversation to collaborators Jan 14, 2026
@pull pull bot added the ⤵️ pull label Jan 14, 2026
@pull pull bot merged commit 17523c0 into code:main Jan 14, 2026
2 of 15 checks passed
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.

7 participants