chatpion

Gallery keeps former height if there is nothing after filtering

1

Hi, When I filter my gallery using your plugin, if every element is filtered out, the gallery isn't resized, leaving a big blank space instead. Thanks.

Add a way to use other device physical features

2

Right now devices created by `Manager` don't enable any additional physical device features. In my case, I would like to be able to work with 8-bit types in my shaders,...

Properly handle 404 errors

3

Right now the app can only handle [404 errors due to looking for a nonexistent prof](https://github.com/metakgp/wimp/blob/515302a736a1aaa66f432ba165c8007b9e0c40f8/app.py#L56)