tree 0569be1345daf33b1bb3d424d4c8faa8ef4799b7
parent ab2bbe3fa083b086115f37b12f3a49742e2a01e0
author nitind <nitind> 1293784052 +0000
committer nitind <nitind> 1293784052 +0000

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