[Qgis-developer] Settings -> Panels vs. Settings -> Customization -> Docks

[Otto Dassau]

Hi,

in QGIS 1.8 you can (de)activate panels under Settings -> Panels. Under
settings Customization the panels are described as Docks. Would it be
possible to have only one name for it? Or is there a reason, why we have two
names for it?

Regards
Otto