Menus of the formula editor
File Menu
The items on the File Menu are: Open, Reload, Save, Save as, Import File, Export Clipboard, and Quit.
- Open
- Opens the file browser to select a formula file.
- Reload
- Reloads the formula file (e.g. if one made a mistake and wants to go back to the previous version).
- Save
- Saves the contents of the formula editor to file (the name of the file is displayed underneath the main part of the window.
- Save as
- Opens the file browser to save the contents of the formula editor to another file.
- Import File
- Opens the file browser to select the name of another file to be loaded in the B(PN)² editor at the current cursor position.
- Export Clipboard
- Opens the file browser to select the name of another file. The contents of the clipboard are saved to this file. You can either use the copy -button on your keyboard or the menu entry Edit>Copy to copy the selectiv to the clipboard.
- Quit
- Closes the B(PN)² editor. If there are unsaved changes a
dialog box asks whether or not these changes should be saved.
Edit Menu
The items on the Edit Menu are: Cut, Copy, Paste, Search, and Replace.
- Cut
- Cuts the current selection. It is saved to the clipboard and can be used for further paste -operations.
- Copy
- Copies the current selection to the clipboard.
- Paste
- Pastes the contents of the clipboard to the current cursor
position.
- Search
- Opens a dialog box that offers a comfortable searching possibility.
- Replace
- Opens the dialog box that offers a comfortable search and replace possibility.
Info
- Info
- Shows the about box for the text editors integrated in the PEP tool.