diff --git a/core/default_settings/app_config.php b/core/default_settings/app_config.php index 2eac1c94c2..75b175d5ab 100644 --- a/core/default_settings/app_config.php +++ b/core/default_settings/app_config.php @@ -313,6 +313,45 @@ $apps[$x]['default_settings'][$y]['default_setting_enabled'] = "true"; $apps[$x]['default_settings'][$y]['default_setting_description'] = ""; $y++; + $apps[$x]['default_settings'][$y]['default_setting_uuid'] = "2e217303-53ff-4dda-b74e-7f07738d83c2"; + $apps[$x]['default_settings'][$y]['default_setting_category'] = "editor"; + $apps[$x]['default_settings'][$y]['default_setting_subcategory'] = "font_size"; + $apps[$x]['default_settings'][$y]['default_setting_name'] = "text"; + $apps[$x]['default_settings'][$y]['default_setting_value'] = "14px"; + $apps[$x]['default_settings'][$y]['default_setting_enabled'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_description'] = "Set the default text size for Editor."; + $y++; + $apps[$x]['default_settings'][$y]['default_setting_uuid'] = "8701cdca-64a1-4ff4-85a1-a09b1389ce92"; + $apps[$x]['default_settings'][$y]['default_setting_category'] = "editor"; + $apps[$x]['default_settings'][$y]['default_setting_subcategory'] = "indent_guides"; + $apps[$x]['default_settings'][$y]['default_setting_name'] = "text"; + $apps[$x]['default_settings'][$y]['default_setting_value'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_enabled'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_description'] = "Set the default visibility of indent guides for Editor."; + $y++; + $apps[$x]['default_settings'][$y]['default_setting_uuid'] = "5669f8cf-f0a0-4d9c-ad75-caf239e9f5cd"; + $apps[$x]['default_settings'][$y]['default_setting_category'] = "editor"; + $apps[$x]['default_settings'][$y]['default_setting_subcategory'] = "invisibles"; + $apps[$x]['default_settings'][$y]['default_setting_name'] = "text"; + $apps[$x]['default_settings'][$y]['default_setting_value'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_enabled'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_description'] = "Set the default state of invisible characters for Editor."; + $y++; + $apps[$x]['default_settings'][$y]['default_setting_uuid'] = "7122cb30-d557-4001-af94-d8d21f964a63"; + $apps[$x]['default_settings'][$y]['default_setting_category'] = "editor"; + $apps[$x]['default_settings'][$y]['default_setting_subcategory'] = "line_numbers"; + $apps[$x]['default_settings'][$y]['default_setting_name'] = "text"; + $apps[$x]['default_settings'][$y]['default_setting_value'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_enabled'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_description'] = "Set the default visibility of line numbers for Editor."; + $y++; + $apps[$x]['default_settings'][$y]['default_setting_uuid'] = "7b403afd-e4d6-4e96-8c8f-2cf5d6187191"; + $apps[$x]['default_settings'][$y]['default_setting_category'] = "editor"; + $apps[$x]['default_settings'][$y]['default_setting_subcategory'] = "theme"; + $apps[$x]['default_settings'][$y]['default_setting_name'] = "text"; + $apps[$x]['default_settings'][$y]['default_setting_value'] = "Cobalt"; + $apps[$x]['default_settings'][$y]['default_setting_enabled'] = "false"; + $apps[$x]['default_settings'][$y]['default_setting_description'] = "Set the default theme."; //schema details $y=0;