v8.53.6

Customizing the editor interface

Various methods to adjust the editor UI to our liking.