atutor/ATutor — pull request #84 by mancoolgunda (2013-12-17 20:08:53+00:00)
Title: Issue 5361: Add pref to auto hide feedback

Ticket Link: http://atutor.ca/atutor/mantis/view.php?id=5361

I have added a new preference to ATutor settings, "Hide Feedback" with two options, Manual (Default option) and AutoHide(with a text-box alongside taking the duration in seconds after which the feedback should hide).