1<?php
2
3$lang['colortheme'] = "Tema de colores";
4$lang['default'] = 'Editor por defecto';
5$lang['highlight'] = 'Activar resaltado de sintaxis';
6$lang['latex'] = 'Activar soporte del plugin de LaTeX';
7$lang['markdown'] = 'Activar soporte del plugin de Markdown';
8$lang['wraplimit'] = 'Límite de ajuste de texto';
9$lang['loadjquery'] = 'Cargar la biblioteca jQuery';
10$lang['xmltags'] = 'Etiquetas de tipo XML adicionales';
11