| Specware 4.0 User Manual | ||
|---|---|---|
| Prev | Chapter 8. Emacs Usage in Specware | |
These are a few general Emacs commands which are useful when using Specware. Commands with no key sequences are executed using M-x name. XEmacs can be customized using the Options menu. For example, to make delete delete the selected region (as in most Word Processing Programs), mouse Options, Editing, Active Regions. To make the changes permanent, mouse Options, Save Options to Init File.
| Key | Name | Description |
|---|---|---|
| C-h | help | Help options. C-h m gives help about the current mode. Also see Help menu in menubar. |
| M-/ | dabbrev-expand | Does symbol completion based on nearby words in buffer. Repeated key presses find additional completions. |
| C-sh-middle | mode-motion-copy | Copies the (highlighted) identifier or expression under the mouse to point. |
| igrep | Greps for string in files. Brings up buffer with matching lines. Mouse middle on a line to go to it. (In Windows requires installation of Cygwin.) | |
| igrep-find | Like igrep but searches in all subdirectories. | |
| fgrep | Like igrep except uses fgrep to search. | |
| fgrep-find | Like igrep-find except uses fgrep to search. all subdirectories. | |
| C-x C-f | find-file | Prompts for file to edit. tab does filename completion. |
| C-x d | dired | Prompts for directory to edit. Note that commands sw:process-current-file and cd-current-directory described in the previous section are available in dired mode. |
| viper-mode | Vi emulation mode for people who like to edit using vi commands. Documentation is available under C-h i. |