Changes
This commit is contained in:
parent
e017949f7d
commit
53b158d25e
@ -3,6 +3,8 @@
|
|||||||
- Ctrl+C in the terminal will terminate the GUI
|
- Ctrl+C in the terminal will terminate the GUI
|
||||||
- UI indicates ongoing processing with a label
|
- UI indicates ongoing processing with a label
|
||||||
- Added new optimization
|
- Added new optimization
|
||||||
|
- Added shortcuts within the UI
|
||||||
|
- History can be navigated with up/down arrows
|
||||||
|
|
||||||
2.1
|
2.1
|
||||||
- Introduced sessions; GUI loads the same relations of the previous time
|
- Introduced sessions; GUI loads the same relations of the previous time
|
||||||
|
Loading…
x
Reference in New Issue
Block a user