Skip to content
20190612
arnaudv6's avatar
arnaudv6
@Arnaudv6
fdee296a · correct a bug where left pane's scroll position was reset after playing. ·
Release: 20190612 
correct a bug where left pane's scroll position was reset after playing.  
use reverse() instead of string comprehension, for we can work in-place.