[jboss-jira] [JBoss JIRA] Commented: (JBRULES-165) Expose Editor settings in preferences window

[Dirk Bergstrom (JIRA)]

    [ http://jira.jboss.com/jira/browse/JBRULES-165?page=comments#action_12346698 ] 
            
Dirk Bergstrom commented on JBRULES-165:
----------------------------------------

I'd like the option to disable the "Rete Tree" sub-tab of the DRL editor.    It doesn't work (for me), and it's presence "breaks" the keybindings for tab-to-tab movement.  Normally ctrl-pgup & ctrl-pgdn move to the previous/next tab, like in firefox; in the DRL editor, those keys only switch between the two sub-tabs.  This is an irritating misfeature imho.  Since I don't need the rete view, I'd just turn it off.

> 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