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.