Fancy Game Search

[danieljohnson2]

This PR adds fancy search terms to the game search, and the runner search to boot. There are logical operators and 'tagged' searches that can match attributes of games. Some of them can override 'built in' filtering, so you can get views otherwise impossible.

There's almost no UI, just some tooltips. But hardcore Linux kernel hackers can probably manage a UI that works rather like Google search.

It's my hope that this will be the foundation for future features. I intend that you should sometime be able to save one o these searches a user-defined dynamic category, for instance. And we want a better UI to build fancy searches that just typing them in. But this seems to me to be a good start.

Stand by for screenshots! All the screenshots!

Here we see OR, which must be in all-caps, to find two sets of games:

Let's get fancier, with AND and the 'installed' attribute and some parentheses:

AND is mostly redundant though, and we assume AND if you have no conjunction. Like Google, we use "-" for negation, but there's some subtlty here.

Here's a search leaving out that time when there's only war:

But this still works:

Because the - is not initial here. To get it to treat - as negation, an explicit AND can help:

Because these tags override built in filters, we can do tricks. We can show hidden games in a category:

Just to be extra cute, you can conveniently get both hidden and visible games at once, like this:

You could do this with hidden:true OR hidden:false as well, but this is cuter.

Some tags are a bit fancier. Here's the games that took way too long:

But here's a more specific search:

Here, the search is matching games where the playtime rounds to 21 hours (ie, nearer that than 20 or 22 hours). This is about the only way to make that useful; exactly 21 hours is very unlikely. But change the search to playtime:20 hours 52 minutes and it rounds to the minute instead.

Here's one for the last-played time:

This is a bit limited. I could find no way to parse a date-time from a user (ie, without a specific format string), so you can only specify last-played in relative terms. These are the games I last played 3 months ago.

Here's a list of the tags supported, taken from the tooltip:
installed:true Only installed games.
hidden:true Only hidden games.
favorite:true Only favorite games.
categorized:true Only games in a category.
category:x Only games in category x.
source:steam Only Steam games
runner:wine Only Wine games
platform:windows Only Windows games
playtime:>2 hours Only games played for more than 2 hours.
lastplayed:<2 days Only games played in the last 2 days.
directory:game/dir Only games at the path.

Finally, this stuff also works in the runners tab of the preferences. Just so I can do this:

[danieljohnson2]

Thanks for the early merge!

Now I need to figure out a UI for saving these as 'dynamic categories'. Gtk.SearchEntry has been a bit of a pain.