Bruno Windels e29227db4e
bring back "filter rooms" field ...
this does the filtering in RoomList instead of RoomSubList, so
we can hide sections that don't have any results.
The filtering does happen with every rerender of RoomList,
but only does something while searching, so the performance
implications are probably negligible.
2018-11-02 15:27:17 +01:00
2018-09-19 12:00:29 +02:00
2018-10-26 22:50:38 -05:00
2018-11-02 15:27:17 +01:00
2018-10-26 15:33:39 +02:00
2018-10-26 22:50:38 -05:00
2018-10-15 15:23:44 +01:00
2018-11-01 17:56:08 +01:00
2018-10-31 14:54:22 +01:00
2018-10-26 22:50:38 -05:00
2018-10-31 14:54:22 +01:00
2018-10-26 22:50:38 -05:00
2018-10-03 10:39:09 +01:00
2018-09-05 18:08:49 +01:00
2018-10-26 22:50:38 -05:00
2018-10-26 22:50:38 -05:00
2018-10-11 22:06:01 -05:00
2018-10-10 17:07:17 +01:00
2018-10-26 20:34:06 -06:00
2018-10-15 14:41:00 -06:00
2018-10-26 17:10:32 +02:00
2018-10-26 22:50:38 -05:00
2018-10-23 10:49:44 +02:00
2018-10-26 23:00:54 -05:00
2018-10-26 22:50:38 -05:00
2018-09-06 15:50:41 +01:00
2018-10-26 22:50:38 -05:00
2018-10-26 22:50:38 -05:00
2018-10-26 22:50:38 -05:00
2018-10-02 22:12:39 -05:00
2018-10-17 16:20:38 +02:00
2018-10-26 22:50:38 -05:00
2018-10-26 22:50:38 -05:00
2018-10-11 21:54:25 -05:00
2018-10-10 16:15:50 +02:00
2018-10-26 23:04:00 -05:00
Bruno Windels
e29227db4e