microsoft/Terminal

"Duplicate Tab" does not really duplicate tab: font size is not duplicated, but opened with default size

Open

#11.913 aperta il 9 dic 2021

Vedi su GitHub
 (8 commenti) (3 reazioni) (0 assegnatari)C++ (3212 fork)batch import
Area-TerminalControlHelp WantedIssue-BugPriority-3Product-Terminal

Metriche repository

Star
 (35.764 star)
Metriche merge PR
 (Merge medio 27g 19h) (24 PR mergiate in 30 g)

Descrizione

Windows Terminal version

1.12.2931.0

Windows build number

10.0.19044.1348

Other Software

C:\>wsl -l -v
  NAME            STATE           VERSION
* Ubuntu-20.04    Running         1

Steps to reproduce

Open new tab Use Ctrl+mousewheel to adjust font size Right click tab, click "Duplicate Tab"

Expected Behavior

New tab created with same font size

Actual Behavior

New tab created with profile default font size

Guida contributor