« Previous | Next » 

Revision 99b0c1d0

ID99b0c1d01521a32551c245c9cb951575686ccc77
Parent e6daa574
Child 5dcdd2af

Added by Carlos Martín almost 5 years ago

F #4760: Improve labels usability

- Labels are sorted alphabetically
- Label filter is kept when changing tabs
- Label filter can be cleared from the advanced section button "clear all"
- Fix active label style on refresh

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences