Stefan Haller
926061557b
Make searching available in the filtered commits list
...
It is already possible to search a filtered list by searching first, and then
enabling a filter, so I found it inconsistent to not allow searching when you
are already filtering. One reason for not allowing this might be that the search
status (on the left) hides the filter status (on the right), but if we think
that's enough reason to not allow both at the same time, then we should cancel a
search when we enter filtering.
2024-08-24 10:51:25 +02:00
..
2024-08-24 10:36:01 +02:00
2023-04-30 13:19:52 +10:00
2023-04-30 13:19:52 +10:00
2024-08-18 10:24:52 +02:00
2024-04-18 10:10:30 +02:00
2024-06-30 10:27:28 +02:00
2024-01-19 10:50:49 +11:00
2024-08-24 10:21:30 +02:00
2024-08-24 10:21:30 +02:00
2024-08-17 11:14:51 +02:00
2023-04-30 13:19:53 +10:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-08-17 11:14:51 +02:00
2024-05-19 16:38:21 +10:00
2024-08-24 09:36:44 +10:00
2023-07-03 12:54:13 +10:00
2024-08-17 11:14:51 +02:00
2024-04-18 10:10:30 +02:00
2024-08-17 10:56:03 +02:00
2024-08-17 11:14:50 +02:00
2024-04-18 10:10:30 +02:00
2024-08-18 10:24:52 +02:00
2024-03-09 07:55:22 +01:00
2024-08-24 10:51:25 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-01-28 08:33:13 +11:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-04-12 08:33:47 +02:00
2024-06-30 10:27:28 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:51 +02:00
2024-06-23 13:10:48 +02:00
2023-08-21 08:10:28 +02:00
2024-04-07 23:24:10 +08:00
2023-07-03 12:54:13 +10:00
2024-01-19 10:50:49 +11:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-08-24 10:36:01 +02:00
2024-04-18 10:10:30 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-01-23 13:03:37 +11:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:51 +02:00
2022-04-02 17:04:42 +11:00
2024-04-28 09:44:59 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-01-23 13:03:37 +11:00
2024-04-18 10:10:30 +02:00