This was lost in f18411b054630cc69e05bf0c5ad8a880fcea91bd, but it means
that any update from a widget will no longer update the window. This
makes it seem like windows are broken, though various window management
shortcuts seem to work otherwise.
option('introspection', type : 'boolean', value : true,