Is there any way that I can specify the order of gmail filters?
A simple and concrete example: suppose that I have defined 3 gmail filters, F1, F2, F3. But I did not define them all at the same time, say I did F1, F3 first. Then I thought of F2 and defined it in gmail's Settings --> "Filters and Blocked Addresses". gmail puts F2 at the end of my list so that it is F1, F3, F2. Is there any way that I can make the gmail filter list have the order F1, F2, F3? When I look at "Filters and Blocked Addresses", I do not see any kind of arrow or "move up" / "move down" functionality for the list.
The reason why I want to specify the order of my filter list is that I have a fairly complicated filter hierarchy, and I am occasionally adding or removing filters from that hierarchy. I would like my filter list to be in the same order as a depth first drill down of my label hierarchy.
The only way that I currently know of to achieve my result is to remove all my filters and then add them back in the order that I want. That is an awful solution.