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

Missing link in feedback after commit #95

Open

hauschke opened this issue May 2, 2018 · 1 comment

Assignees

Labels

hauschke commented May 2, 2018

After a commit there is a message, that the commit was succesful. It would be nice to have a link to the commit, too.

Maybe even a list of the last 5 commits would be useful as a permanent feature under the editing window.

lavdim assigned ahemaid

lavdim added the enhancement label

Contributor

lavdim commented May 2, 2018

@ahemaid , this belongs to the TurtleEditor

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