Filter wp_editor args

In the Pro version, you can enable wp_editor on the new topic submission form, allowing users to add formatting. To change the parameters, you can add a filter, e.g.:

function me_filter_editor_args( $args ) {
  $args['teeny'] => true;
  return $args;
}
add_action( 'ctdb_editor_args', 'me_filter_editor_args' );