-
-
Notifications
You must be signed in to change notification settings - Fork 242
Minor improvements on the GUI/CLI #120
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
Conversation
…ommand line help is displayed
I can try. However, how do I get there? :) which menu is this one? Update: Ah it is |
There were a lot of extra whitespaces at the end of the lines. I had to clean them to make it easier to work on this in the future. |
Great work, thank you guys!
I'm abroad right now with very limited access, so I'm not able to review
and merge it until the very end of June.
Sorry about that, and thanks for your patience!
|
@andrasfuchs no problem dude, take your time! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All in all a very good PR, thank you for your contribution!
Please review my comments.
Did I cover all the requested items? |
Yes, looks great, I'm going to merge it now. |
Nice. Now with the code a bit cleaner it would be better for contributors. I also suggest to pass a formatter if it was not done in the past. |
This PR fixes this issue, #116
Some screenshots
Initial window (improved making the output field more visible)

Fixed the Right toolbar in the main window

Settings window. Improved title and rulers

Command line help improved
