Commit Graph

12 Commits

Author SHA1 Message Date
Robin Appelman 0f5af5482e use the main search box to filter users in user management 2015-08-05 17:29:20 +02:00
Morris Jobke 23e09be65f fix placeholder fake in IE8 & 9 that brokes group listing in user management - fixes #12525 2014-12-05 12:16:22 +01:00
Arthur Schiwon ab2c7e06a4 remove dead code
do not filter groups. but update the user count according to the filter

improve phpdoc

improve metadata runtime cache

add metadata tests
2014-07-14 21:26:37 +02:00
Arthur Schiwon 75cc16f2bd remove debug output 2014-06-02 12:53:59 +02:00
Arthur Schiwon 92b8344489 replace setTimeout and clearTimeout handling by _.debounce 2014-06-02 12:53:59 +02:00
Arthur Schiwon a9bd416643 add reset button for the filter field 2014-06-02 12:53:57 +02:00
Arthur Schiwon dea7f45782 stick with current group when the filter is used 2014-06-02 12:53:57 +02:00
Thomas Müller 3c9788d40c js cleanup + typos 2014-06-02 12:53:56 +02:00
Arthur Schiwon 249e42c4cd enable group filtering 2014-06-02 12:53:55 +02:00
Arthur Schiwon dbc854d8b8 Fire up server request only on typing printed or modifying characters and when the string actually changed 2014-06-02 12:53:55 +02:00
Arthur Schiwon 8df50acce7 some documentation 2014-06-02 12:53:55 +02:00
Arthur Schiwon 5b8ba79356 make filter work on server-side 2014-06-02 12:53:55 +02:00