Scroll the terminal to bottom for F8 execution#1407

Merged

rkeithhill merged 1 commit intomasterfrom

rkeithhill/scroll-to-bottom-on-f8

Jul 10, 2018

Commits on Jul 8, 2018

Scroll the terminal to bottom for F8 executionPartial fix #1257
rkeithhill
committed