Set refresh rate of screen from script

2016-05-18

Fixing the up button in Python shell history

2016-04-02