Make the history's default filter more useful
Reported by Petr Hosek | October 31st, 2010 @ 03:16 AM | in 1.0 Beta 3 (closed)
History default filter should be changed to be more useful i.e. longer time period, no filtering by user, etc.
Comments and changes to this ticket
-
Sergey Ignatov May 18th, 2011 @ 07:55 PM
- State changed from new to resolved
- Assigned user changed from Petr Hosek to Sergey Ignatov
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
Web application allowing to edit Scala symbols documentation.