More useability for serial monitor / editor#5921

Closed

MichalSy wants to merge 5 commits intoarduino:masterfrom

MichalSy:master

Commits on Jan 28, 2017

Commits on Jan 30, 2017

added custom title format setting (editor.custom_title_format)
MichalSy
committed

Commits on Feb 1, 2017

CHANGED: use cache for editor tools (don't create new instance for each menu item)
MichalSy
committed