Move editor settings used
Used in multiple features for this reason moved to core.
This commit is contained in:
parent
d529021b3f
commit
167cc94f18
|
|
@ -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;
|
||||
|
|
|
|||
Loading…
Reference in New Issue