Add preference widget
    
    Now that the extension is configurable, add a preference widget to easily
    change the available options. Get a bit fancy with a live-preview ...