AthanasiusOfAlex

@fmujakitz's fix basically works, except that the scale factor needs to be taken into account (especially in HiDPI displays): ``` js // applies the change dynamically if the terminal is...