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.

Sign up for GitHub

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

Jump to bottom

Improve editor #77

Merged

vinc merged 5 commits into master from feature/editor

Jul 14, 2020

Owner

vinc commented Jul 14, 2020

Add status bar
Add help page
Avoid clearing screen before printing

vinc added 5 commits

July 12, 2020 19:04


          Show write status in editor


          Add 'help edit' command

dd684b3


          Show pathname in status bar

0219b36


          Update status bar colors

cda0ac2


          Avoid clearing before printing by overwriting whole lines

5c351ed

vinc merged commit b026674 into master

vinc deleted the feature/editor branch

July 14, 2020 09:34

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

Labels

None yet