Re: [pve-devel] [PATCH manager 1/3] ui: rename global 'Help' button to 'Documentation'

2017-10-05 Thread Gilberto Nunes
Or even better: man --- Gilberto Ferreira 2017-10-05 11:16 GMT-03:00 Gilberto Nunes : > Just use Docs for shortly. > > --- > Gilberto Ferreira > > > > > 2017-10-05 11:10 GMT-03:00 Dietmar Maurer : > >> -1 >> >> This uses too much space (very bad for auto generated docu screenshots). >> >> > On

Re: [pve-devel] [PATCH manager 1/3] ui: rename global 'Help' button to 'Documentation'

2017-10-05 Thread Gilberto Nunes
Just use Docs for shortly. --- Gilberto Ferreira 2017-10-05 11:10 GMT-03:00 Dietmar Maurer : > -1 > > This uses too much space (very bad for auto generated docu screenshots). > > > On October 5, 2017 at 3:05 PM Thomas Lamprecht > > wrote: > > > > > > To make it more clear that this will alwa

Re: [pve-devel] [PATCH manager 1/3] ui: rename global 'Help' button to 'Documentation'

2017-10-05 Thread Dietmar Maurer
-1 This uses too much space (very bad for auto generated docu screenshots). > On October 5, 2017 at 3:05 PM Thomas Lamprecht > wrote: > > > To make it more clear that this will always end you on the > Documentation index. > > Also, multiple Help buittons which all may or may not do something

[pve-devel] [PATCH manager 1/3] ui: rename global 'Help' button to 'Documentation'

2017-10-05 Thread Thomas Lamprecht
To make it more clear that this will always end you on the Documentation index. Also, multiple Help buittons which all may or may not do something diffrent are a bit weird/confusing - thus distiction is important IMO. Signed-off-by: Thomas Lamprecht --- www/manager6/Workspace.js | 1 + 1 file c