 Robin Appelman
|
0f5af5482e
use the main search box to filter users in user management
|
9 years ago |
 Morris Jobke
|
23e09be65f
fix placeholder fake in IE8 & 9 that brokes group listing in user management - fixes #12525
|
10 years ago |
 Arthur Schiwon
|
ab2c7e06a4
remove dead code
|
10 years ago |
|
Arthur Schiwon
|
75cc16f2bd
remove debug output
|
10 years ago |
|
Arthur Schiwon
|
92b8344489
replace setTimeout and clearTimeout handling by _.debounce
|
10 years ago |
|
Arthur Schiwon
|
a9bd416643
add reset button for the filter field
|
10 years ago |
|
Arthur Schiwon
|
dea7f45782
stick with current group when the filter is used
|
10 years ago |
 Thomas Müller
|
3c9788d40c
js cleanup + typos
|
10 years ago |
|
Arthur Schiwon
|
249e42c4cd
enable group filtering
|
10 years ago |
|
Arthur Schiwon
|
dbc854d8b8
Fire up server request only on typing printed or modifying characters and when the string actually changed
|
10 years ago |
|
Arthur Schiwon
|
8df50acce7
some documentation
|
10 years ago |
|
Arthur Schiwon
|
5b8ba79356
make filter work on server-side
|
10 years ago |
