[333359] Make showing the Properties view when opening the editor optional
1 file changed