Tweak sizes and better auto-scroll stopgap.

Authored by hein on Sep 5 2017, 3:24 PM.

Description

Tweak sizes and better auto-scroll stopgap.

Details

Committed
heinSep 5 2017, 3:24 PM
Parents
R7:45442371c2f7: Fix timestamp matching.
Branches
Unknown
Tags
Unknown