[jboss-jira] [JBoss JIRA] Commented: (JBRULES-165) Expose Editor settings in preferences window
Dirk Bergstrom (JIRA)
jira-events at jboss.com
Fri Nov 10 15:02:41 EST 2006
[ http://jira.jboss.com/jira/browse/JBRULES-165?page=comments#action_12346701 ]
Dirk Bergstrom commented on JBRULES-165:
----------------------------------------
I suspect that this is the one pref that you have implemented, but just to be clear...
I'd like the ability to specify what the tab key inserts. Specifically, I want it to insert two spaces (as opposed to a tab character with a tab-column setting of two). Other folks will probably want four or eight spaces, or a tab character.
> Expose Editor settings in preferences window
> --------------------------------------------
>
> Key: JBRULES-165
> URL: http://jira.jboss.com/jira/browse/JBRULES-165
> Project: JBoss Rules
> Issue Type: Feature Request
> Security Level: Public(Everyone can see)
> Components: Eclipse IDE
> Reporter: Mark Proctor
> Assigned To: Kris Verlaenen
> Fix For: 3.1-m1
>
>
> settings like tabs and spaces need to be configurable and exposed in window->preferences.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
More information about the jboss-jira
mailing list