Full screen keyboard short-cut
In !322 (merged) full screen toggling was introduced. It seems like F11 is a common enough shortcut key to use.
In !322 (merged) full screen toggling was introduced. It seems like F11 is a common enough shortcut key to use.
added Enhancement SFG GUI Scheduling GUI Simulation results GUI labels
mentioned in merge request !323 (merged)
mentioned in issue #228
closed with merge request !323 (merged)