0.11-stable: Use the `[browser] hide_properties` config option to hide properties independently of the renderer that is used, not only in the default renderers.
Closes #8606.
Authored by: rblank 2009-09-01
Parent: [r8557]
Child: [r8559]
