Thanks for your answers. On Sunday, March 13, 2016, [email protected] < [email protected]> wrote:
> Hi, > > I don’t want to pretend that I represent others but I do run into many > projects/groups using JMeter and have introduced the tooling to many 100s > of developers. There is no one that I know of that has shown any interest > in these particular properties. > > Regards, > Kirk Pepperdine > > > On Mar 13, 2016, at 9:41 AM, Ivan Rancati <[email protected] > <javascript:;>> wrote: > > > > Good plan, ok for me to remove > > > > Thanks and best regards > > Ivan > > > > On Sat, Mar 12, 2016 at 11:06 PM, Sergio Boso <[email protected] > <javascript:;>> > > wrote: > > > >> Ok for me to remove them. > >> Regards. > >> > >> Sergio Boso > >> Il 12/Mar/2016 13:52, "Philippe Mouawad" <[email protected] > <javascript:;>> ha > >> scritto: > >> > >>> Hello, > >>> We would like to drop the following JMeter properties: > >>> > >>> - jmeter.toolbar.display : This property (true by default) allows you > to > >>> remove the toolbar > >>> - jmeter.errorscounter.display: This property (true by default) allows > >> you > >>> to remove the error counter on the top right > >>> - jmeter.icons : Allow you to customize the icons of JMeter > >>> > >>> > >>> Why we would like to drop them: > >>> > >>> - Because we have a lot of properties in JMeter already and this may > >>> make it complex for Newbies or regular users to concentrate on > >> important > >>> ones > >>> - This is more maintenance for the team > >>> - It is not that frequent to be able to customize an IDE that way > >>> > >>> > >>> > >>> Please express yourself on this and let us know your thoughts. > >>> > >>> Thanks > >>> > >>> Regards > >>> Philippe > >>> Member of Apache JMetet Team > >>> > >> > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] <javascript:;> > For additional commands, e-mail: [email protected] > <javascript:;> > > -- Cordialement. Philippe Mouawad.
