d72d517eedd1c3a3ffe636c08d1cc91e81821a36 - sourceediting/webtools.sourceediting - Git at Google

commit: d72d517eedd1c3a3ffe636c08d1cc91e81821a36
[log]
author: nitind <nitind>
Fri Dec 31 08:27:32 2010 +0000
committer: nitind <nitind>
Fri Dec 31 08:27:32 2010 +0000
tree: 0569be1345daf33b1bb3d424d4c8faa8ef4799b7
parent: ab2bbe3fa083b086115f37b12f3a49742e2a01e0 [diff]

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

9 files changed

tree: 0569be1345daf33b1bb3d424d4c8faa8ef4799b7