Don't change Ace's gutter size on scroll
Don't change Ace's gutter size on scroll

Fixes #54

integer32llc/rust-playground,integer32llc/rust-playground,integer32llc/rust-playground,integer32llc/rust-playground,integer32llc/rust-playground