Differences
This shows you the differences between the selected revisions of the page.
| 2022-10-24 | 2022-11-01 | ||
| no summary (93.240.196.138) (hidden) (untrusted) | the main window is now more readily available (martin) | ||
| Line 3: | Line 3: | ||
| To open the window, do one of the following: | To open the window, do one of the following: | ||
| - | * On the [[ui_login|Login dialog]], use //Tools > About// command. | ||
| * On the //Help// menu, click //About//. | * On the //Help// menu, click //About//. | ||
| + | * On the [[ui_login|Login dialog]], use //Tools > About// command. | ||
| &screenshotpict(about) | &screenshotpict(about) | ||