-
Sebastien Robin authored
This is too inconvenient when resizing browser size, it requires in some cases to do taller or shorter many times only because we resized the browser. Also, former way was not working nicely when editor like code mirror was used
8f5497d4