Re: [ide-dev] Survey for IDE feature enhancements

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [ide-dev] Survey for IDE feature enhancements

From: Gunnar Wagenknecht <gunnar@xxxxxxxxxxxxxxx>
Date: Wed, 20 Nov 2013 11:36:39 +0100
Delivered-to: ide-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/ide-dev>
List-help: <mailto:ide-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=unsubscribe>

Am 20.11.2013 um 11:33 schrieb Sven Efftinge <sven@xxxxxxxxxxx>:

Many of the checks are related to style and 'personal' preference and some of them effectively deactivate language features (e.g. auto boxing).
Just switching everything to a warning doesn't make sense.

Yes, so please vote „No“ then!

-Gunnar

--
Gunnar Wagenknecht
gunnar@xxxxxxxxxxxxxxx

Follow-Ups:
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Daniel Rolka
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Sven Efftinge

References:
- [ide-dev] Survey for IDE feature enhancements
  - From: Ian Skerrett
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Mickael Istria
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Ian Skerrett
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Gunnar Wagenknecht
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Sven Efftinge
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Mickael Istria
- Re: [ide-dev] Survey for IDE feature enhancements
  - From: Sven Efftinge

Prev by Date: Re: [ide-dev] Survey for IDE feature enhancements
Next by Date: Re: [ide-dev] Survey for IDE feature enhancements
Previous by thread: Re: [ide-dev] Survey for IDE feature enhancements
Next by thread: Re: [ide-dev] Survey for IDE feature enhancements
Index(es):
- Date
- Thread

Breadcrumbs