Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Serial/network monitor and editor console dynamic font size hotkeys and improved updating#8704

Merged
cmaglie merged 7 commits intoarduino:master from
Pieter12345:serial-monitor-zoom
Mar 26, 2019
Merged

Serial/network monitor and editor console dynamic font size hotkeys and improved updating #8704
cmaglie merged 7 commits intoarduino:master from
Pieter12345:serial-monitor-zoom

Commits

Commits on Mar 25, 2019

Commits on Mar 26, 2019

AltStyle によって変換されたページ (->オリジナル) /