Changes between Version 10 and Version 11 of UsersGuide/GUI


Ignore:
Timestamp:
2023-09-26T21:58:25Z (14 months ago)
Author:
Jiri Svoboda
Comment:

Remove TODO

Legend:

Unmodified
Added
Removed
Modified

  • UsersGuide/GUI

    v10 v11  
    1818minimize, maximize or close a window by clicking the corresponding button in the title bar. To restore a minimized window, you need to find its title among the buttons in the Task Bar and click it.
    1919
    20 You can also access the window management functions via a window's system menu. To open the system menu, click its handle, or press F10 (XXX TODO). If the window has a menu bar, you then need to press Left arrow key to select the system menu. Then press Down to open the system menu.
     20You can also access the window management functions via a window's system menu. To open the system menu, click its handle, or press F10. If the window has a menu bar, you then need to press Left arrow key to select the system menu. Then press Down to open the system menu.
    2121
    2222== Keyboard shortcuts ==