m (Fix download link) |
(→Download: Link to build instructions on download page instead of repeating them) |
||
Line 4: | Line 4: | ||
* The latest stable version and current snapshots of this new UI [[Download#ProB2-UI using Java FX|are available for download]]; see also the [[ProB2UI Release History|release history]]. | * The latest stable version and current snapshots of this new UI [[Download#ProB2-UI using Java FX|are available for download]]; see also the [[ProB2UI Release History|release history]]. | ||
* The sources are available at | * The sources are available at https://github.com/hhu-stups/prob2_ui and can be built by following [[Download#Building ProB2-UI from source|these instructions]]. | ||
== Features == | == Features == |
ProB2-UI is the new Java-based user interface for ProB.
Compared to the original UI based on Tcl/Tk, this new UI has some unique new features:
By default the main window is split into three vertical panes (see below).
The menu bar contains the various commands to access the features of ProB. It includes the menus
The File submenu allows you to create a new Project, open an existing project or a machine, open recent projects shown as list and/or clear the list of recent projects, close the ProB2-UI, save your project or reload the currently running machine.
The Edit submenu provides two ways to edit the current machine (either in the editor provided by the ProB2-UI or in the your operating systems standard editor) and allows to edit your general and global preferences by opening a seperate window.
Here you can add formulas for visualization and open the history chart window.
This submenu leads to two consoles, one Groovy, one B.
The Perspectives submenu allows you to change the appearance of the main view. The default view is shown at the top and two additional perspectives (Seperated History and Seperated History and Statistics) are preset. By Detach Components the view can be shown in seperate windows. Load allows you to make your own perspective by providing an FXML file containing the views but be aware that this might ruin the ability to detach components.
This submenu allows you to adjust font and button size in the ProB2-UI.
The Help submenu provides you with help about the ProB2-UI, information about the ProB2 UI, ProB2 kernel, ProB CLI and Java version used here and a way to report issues regarding the ProB2-UI.