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.

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

Open renaming log in a popup text box #43

Open
Kevin-Mok opened this issue Nov 29, 2017 · 0 comments
Open

Open renaming log in a popup text box #43

Kevin-Mok opened this issue Nov 29, 2017 · 0 comments
Assignees
@Kevin-Mok
Labels
GUI

Comments

@Kevin-Mok
Copy link
Owner

Kevin-Mok commented Nov 29, 2017 •
edited
Loading

Based on this comment by a TA.

Need to at least change the log to open in a more user-friendly text editor.

EDIT: Changed file opening in gvim to gedit.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Kevin-Mok Kevin-Mok

Labels
GUI
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Kevin-Mok