[Mono-list] How to add "properties" back

[Stephen Liu]

Hi folks,

Debian 5.0
Mono

I'm running monodevelop to learn "Stetic GUI Designer
(Would it be "Static GUI Designer"?). Accidentally I deleted
"Properties" leaving only "Tools" behind. I have been looking around to
add it back without result. Please help. TIA


B.R.
Stephen L