Rodin Editor User Guide

From Event-B
Revision as of 14:16, 12 July 2011 by imported>Tommy (New page: == Introduction == The Rodin Editor plug-in provides a structured editor to model in Event-B withing Rodin.<br> For more details about the principles of this editor, see [[Rodin_Editor|t...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Introduction

The Rodin Editor plug-in provides a structured editor to model in Event-B withing Rodin.
For more details about the principles of this editor, see the Rodin Editor Plug-in page.

Installation

Setup

Install the Rodin Editor plug-in:

  1. In the menu choose Help -> Install New Software...
  2. In the Work with dropdown list, choose the location URL: Rodin - http://rodin-b-sharp.sourceforge.net/updates
  3. Select the Rodin Editor feature then click the check box
  4. Click Next, after some time, the Install Details page appears
  5. Click Next and accept the license
  6. Click Finish
  7. A Security Warning window may appear: click OK
  8. Restart Rodin as suggested.

Now you are ready to use the new Rodin Editor plug-in.

Release Notes

See Rodin Editor Release Notes


Editing

Using keyboard shorcuts

Here is the list of the currently key bindings which are set by default and specific to the Rodin Editor.


KEY SEQUENCE ACTION
BACKSPACE (ENTER) Enter the edition mode using the overlay editor if the caret is on an editable place.
DEL Suppress the element after the caret position
CTRL+T Add a sibling of the element pointed by the caret position. The sibling is placed just after this latter one.
CTRL+SHIFT+N Opens a popup to select the element type of the child to add to the element pointed by the caret position. Note that if there is only one child type, the child will be directly created.
CTRL+BACKSPACE Insert a new carriage return while editing with the overlay editor.
ALT+ARROW_UP Move up the selected elements.
ALT+ARROW_DOWN Move down the selected elements.
SHIFT+ARROW_UP Select elements up.
SHIFT+ARROW_DOWN Select elements down.
ALT+ESC Quit the current overlay edition (if any) and forget the modifications made, frees the current selection.
TAB Go to the next editable place (i.e. to the next editable element attribute)
SHIFT+TAB Go to the previous editable place (i.e. to the next editable element attribute)

Customize this list

If you don't like these shortcuts, you can modify them by setting your own key preferences. To do so, go to Window > Preferences and then General > Key. A table appears were you can find and edit the shortcuts.

Tips & Tricks

A command currently (i.e. in Rodin 2.2) disable the possibility to use the ESC instead of ALT+ESC sequence. This is quite cumbersome, and can be tuned! To do so, open the preference table for key shortcuts (described above) and after ensuring you disabled the filters of uncategorized commands (using the Filters... dialog) search for the command named "Restore Styles". This is the command to release the highlights in the proving views. You can then swith the sequence of this command to ALT+ESC and change the value of the "Abort edition and free selected items" command to ESC. After applying these settings, the shortcuts will be modified as wished above.