819cd85a0e
[web] Editor redesign: Avoid cutting off history view GitOrigin-RevId: ecffc404ef6c210c852edd13c99b742545b73b32