[jboss-jira] [JBoss JIRA] Commented: (JBRULES-165) Expose Editor settings in preferences window
[ 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