The quick fixes are linked to the problem type, not editor, so if the spell check runs and marks text with a problem, the user can access the quick fix. I tried it with a plain text editor this morning. - Konstantin
From: Greg Amerson
Sent: Monday, November 2, 2015 9:46 AM
To: Discussions about the IDE
Subject: Re: [ide-dev] A new survey
The problem with the quick fix is that I believe it only works in java editor. In XML Editor or other text editors, no way to quickly disable it. On Mon, Nov 2, 2015 at 11:01 AM, Doug Schaefer <dschaefer@xxxxxxx> wrote: +1. The quick fix should be sufficient when it’s bugging people. I agree with that, In previous discussions on this list discoverability was considered an issue. By disabling the feature we make things worse.
Dani
From: Konstantin Komissarchik <konstantin.komissarchik@xxxxxxxxxx>
To: Mickael Istria <mistria@xxxxxxxxxx>, "ide-dev@xxxxxxxxxxx" <ide-dev@xxxxxxxxxxx>
Date: 02.11.2015 17:11
Subject: Re: [ide-dev] A new survey
Sent by: ide-dev-bounces@xxxxxxxxxxx 
I don’t think that disabling spell checking by default is wise. The spell checker already has an easy way for folks to opt out with a “disable spell checking” quick fix, so it’s a trade off of slightly inconveniencing those that don’t want the checking vs. having users that do want it not know that it’s there.
- Konstantin
From: Mickael Istria
Sent: Monday, November 2, 2015 7:59 AM
To: ide-dev@xxxxxxxxxxx
Subject: Re: [ide-dev] A new survey
On 11/02/2015 04:03 PM, Doug Schaefer wrote:
Does anyone know of a commercial IDE that would ask questions like this at install time? I can’t remember any but I have only installed the big ones, Visual Studio and Xcode.
Last time I started IntelliJ, I got asked a few questions, such as which theme I would like to use. However, I don't manage to get back in the state in which one it asks that...
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/ide-dev
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/ide-dev
-- Liferay, Inc. www.liferay.com |
