animate = () => {
      const scrollTop = content.scrollTop
      const diff = (finalScrollTop - scrollTop)
      if (Math.abs(diff) > 3) {
        content.scrollTop += diff / 3
        editor.animateCallback = animateCallback
        editor.animateTimeout = setTimeout(animate, 50)
      } else {
        // finished
        if (animateCallback) {
          animateCallback(true)
        }
        content.scrollTop = finalScrollTop
        delete editor.animateTimeout
        delete editor.animateCallback
      }
    }
Adjust the scroll position such that given top position is shown at 1/4
of the window height.
@param {Number} top
@param {function(boolean)} [animateCallback] Callback, executed when animation is
                                             finished. The callback returns true
                                             when animation is finished, or false
                                             when not.