Shortcut keys for the Facets operations window:

Ctrl+O

Specification file name?

Ctrl+F

Finish iterating

Ctrl+S

Save Facets window

Alt+Esc, Alt+Tab

Change the active application.

Model checking:

F1

Help topics

F2

Bigger changes between iterations

F3

Smaller changes between iterations

F4

Query - show next match

F5

Query=No, no more data display

F6

Query=Yes, activate data display

Copy, Delete, Cut:

Insert

Overwrite

Ctrl+A, Ctrl+Clear,

Ctrl+Number Pad 5

Select all

Ctrl+C, Ctrl+Insert

Copy

Ctrl+V, Shift+Insert

Paste

Ctrl+X

Cut

Ctrl+Z

Undo

Ctrl+Y

Redo

Backspace, F16

Delete previous character.

Ctrl+Backspace

Delete previous word.

Ctrl+Delete

Delete the next word or selected characters.

Shift+Delete

Cut the selected characters.

Esc

Stop drag-drop. While doing a drag-drop of text.

Move:

Ctrl+Left Arrow

Move cursor one word to the left.

Ctrl+Right Arrow

Move cursor one word to the right.

Ctrl+Up Arrow

Move to the line above.

Ctrl+Down

Arrow Move to the line below.

Ctrl+Home

Move to the beginning of the document.

Ctrl+End

Move to the end of the document.

Ctrl+Page Up

Move one page up.

Ctrl+Page Down

Move one page down.

Text Alteration:

Ctrl+E

Center alignment

Ctrl+J

Justify alignment

Ctrl+R

Right alignment

Ctrl+L

Left alignment

Ctrl+1

Line spacing = 1 line.

Ctrl+2

Line spacing = 2 lines.

Ctrl+5

Line spacing = 1.5 lines.

Ctrl+Shift+A

Set all caps.

Ctrl+Shift+L

Fiddle bullet style.

Ctrl+Shift+Right Arrow

Increase font size.

Ctrl+Shift+Left Arrow

Decrease font size.