
/* Menu item labeling default python editor */
"defaultPythonEditor" = "Default Python Editor";

/* Menu item labeling tabs for indentation */
"tabsIndentation" = "Tabs";

/* Menu item labeling spaces for indentation */
"spacesIndentation" = "Spaces";
