#34 ✓resolved
Petr Hosek

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

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.

New-ticket Create new ticket

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.

Shared Ticket Bins

People watching this ticket

Tags

Pages