This fixes a bug where if an Executor had the "Tooltip" option disabled, editing the theme in tint2conf would re-enable it.