Actually I wanted to make some effects like hiding the action buttons when scrolling down and showing them when scrolling up. However it would required some JS that I don’t have time to write for now.
Hi @zef To implement this behavior I attached a scroll event handler to the EditorView. I’m not sure if it is possible to create a plug which modifying the EditorView like that.