There was an error while loading. Please reload this page.
8cd5aae
The preferences dialog now lets you set/update options for buttons and encoders.