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

[Matthias Kuhn]

Do we have a collection of spellings somewhere? It would be good for 
dev's to have a place to refer to.
E.g. a simple wiki page.

Matthias

On 12/02/2012 02:57 PM, Otto Dassau wrote:
> Am Sat, 1 Dec 2012 12:53:44 +0100
> schrieb Radim Blazek <radim.blazek at gmail.com>:
>
>> On Fri, Nov 30, 2012 at 2:34 PM, Martin Dobias <wonder.sk at gmail.com> wrote:
>>> On Wed, Nov 28, 2012 at 5:17 PM, Otto Dassau <dassau at gbd-consult.de>
>>> wrote:
>>>> 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?
>> Changed to Panels. Also added new enable customization checkbox in the
>> dialog.
>>
>> Radim
>>
>>> Hi Otto
>>>
>>> as far as I know, there's no reason for two names, it's the same
>>> thing... I guess "panel" is a term that users are more familiar with.
>>>
>>> Regards
>>> Martin
> Thanks a lot for changing it!
>
> Otto
> _______________________________________________
> Qgis-developer mailing list
> Qgis-developer at lists.osgeo.org
> http://lists.osgeo.org/mailman/listinfo/qgis-developer