<?php

$lang['colortheme'] = "Tema de colores";
$lang['default'] = 'Editor por defecto';
$lang['highlight'] = 'Activar resaltado de sintaxis';
$lang['latex'] = 'Activar soporte del plugin de LaTeX';
$lang['markdown'] = 'Activar soporte del plugin de Markdown';
$lang['wraplimit'] = 'Límite de ajuste de texto';
$lang['loadjquery'] = 'Cargar la biblioteca jQuery';
$lang['xmltags'] = 'Etiquetas de tipo XML adicionales';