[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