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

2012-11-28 Thread 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 ___

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

2012-11-30 Thread Martin Dobias
On Wed, Nov 28, 2012 at 5:17 PM, Otto Dassau 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 fo

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

2012-12-01 Thread Radim Blazek
On Fri, Nov 30, 2012 at 2:34 PM, Martin Dobias wrote: > > On Wed, Nov 28, 2012 at 5:17 PM, Otto Dassau 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 o

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

2012-12-02 Thread Otto Dassau
Am Sat, 1 Dec 2012 12:53:44 +0100 schrieb Radim Blazek : > On Fri, Nov 30, 2012 at 2:34 PM, Martin Dobias wrote: > > > > On Wed, Nov 28, 2012 at 5:17 PM, Otto Dassau > > wrote: > >> > >> Hi, > >> > >> in QGIS 1.8 you can (de)activate panels under Settings -> Panels. Under > >> settings Customiza

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

2012-12-02 Thread 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 : On Fri, Nov 30, 2012 at 2:34 PM, Martin Dobias wrote: