* Decouple "Display" panel, into Display and Shading panels, so one of them can be closed when not needed. (Saves some space). Patch by Sebastian König, with tweaks by myself.
* Decouple "Display" panel, into Display and Shading panels, so one of them can be closed when not needed. (Saves some space). Patch by Sebastian König, with tweaks by myself.