-
Notifications
You must be signed in to change notification settings - Fork 101
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
pintk help is double-spaced #1078
Comments
Yeah, we should definitely ditch the double spacing. As for "can you figure out if there is help in the GUI", I'd say yes since there is a "Help" pull-down menu which let's you choose "Plk Help" (although why it says "Plk" and not "pintk" is a bit strange...). |
And it should also give a bit of a general introduction to pintk operation before launching into the key bindings |
A few notes about the "Help" menu:
|
This was fixed by @scottransom |
For some reason the "help" output (is there any way to find out from the GUI that help is available, and that it appears in the terminal?) appears double-spaced:
The text was updated successfully, but these errors were encountered: