v8.48.3

Customizing the editor interface

Various methods to adjust the editor UI to our liking.