mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-20 00:04:14 +08:00
This contains the parts of https://github.com/microsoft/vscode/pull/194609 that we can already merge. While it does not implement dynamic line heights, it is a first step in that direction. Co-authored-by: Remco Haszing <remcohaszing@gmail.com>