Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

UG: Add help window known issue #32

Merged
merged 5 commits into from
Jul 30, 2024

Conversation

hjungwoo01
Copy link

Fixes #24.

docs/UserGuide.md Outdated Show resolved Hide resolved
Copy link

@brein62 brein62 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! This describes the known issue for the help window clearly and succinctly enough, as well as describes a fix that can be used across all operating systems.

@hjungwoo01
Copy link
Author

@damithc would it also be helpful to state that not only will it not work when you type in the help command, but it will also not work when you click on the Help button?

Screenshot 2024-07-27 at 9 08 37 PM

@damithc
Copy link

damithc commented Jul 28, 2024

@damithc would it also be helpful to state that not only will it not work when you type in the help command, but it will also not work when you click on the Help button?

Good point, @hjungwoo01 There is the F1 route too. Something like this?

... run the help command (or use the Help menu, or the keyboard shortcut F1) ...

@damithc damithc merged commit 5af1c6d into nus-oss:master Jul 30, 2024
3 checks passed
@damithc
Copy link

damithc commented Jul 30, 2024

Thanks for the PR @hjungwoo01
I added a commit message.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

UG: mention known issue about the Help window
3 participants