Chapter 10. Miscellaneous and Tips

View information about gadget
Customize Toolbar
Hotkeys customization
Default global hotkeys
Non-changable hotkeys which work within the editors

View information about gadget

To view information about current version of eXo IDE, select "Help->About" from top menu.

Customize Toolbar

If you want to customize Toolbar add or remove some buttons, change their positions or change delimiters - you can do it from the "Customize toolbar" dialog window. This dialog can be called by selectiong "Window->Customize Toolbar..." from top menu. This dialog have typical interface and command set for such operations:

Picture 28. Customize Toolbar

Hotkeys customization

Hotkey manager supports hotkeys customization. If you use your hotkeys that match to browser hotkeys, only eXo IDE hotkeys will work out.

If you don't override browser hotkeys, they will work as usual.

You can customize hotkeys in "Customize hotkeys" dialog window. To call this dialog, you should call "Window->Customize Hotkeys..." top menu command.

Picture 29. Customize hotkeys

"Customize hotkeys" dialog window consists of list grid with all commands divided on groups and their hotkeys, binding to them. If you want to assign your own hotkeys, do as follows:

  1. Select command in "Customize hotkeys" dialog window. After selecting the focus will be set on "Hotkey" field.

  2. Press hotkeys combination. It should be the combination of "Ctrl" or "Alt" key with other allowed key.

  3. If hotkeys combination is valid, "Bind" button will be active. Otherwise the error message will be shown under the "Hotkey" field.

  4. Press "Bind" button.

  5. Press "Save" button to save your settings on the server, or "Cancel" button if you want to cancel changes.

If you entered invalid hotkeys combination, error message will be shown:

Picture 30. Error message

If you want to unbind hotkeys for some commands, do as follows:

  1. Open "Customize hotkeys" dialog window.

  2. Find needed command in list grid.

  3. Press "Unbind" button.

  4. Press "Save" button to save your settings on the server, or press "Cancel" button to cancel changes.

At the end of hotkeys list, you can see "Editor hotkeys" group. You can't change this hotkeys, because they are reserved and used in editors. Also you can't use this hotkeys for other commands. Followings are lists of predefined hotkeys: