<?php

$lang['colortheme'] = "Tema Colori";
$lang['highlight'] = 'Abilita colorazione sintassi';
$lang['latex'] = 'Abilita il supporto al LaTeX plugin';
$lang['wraplimit'] = 'Limite a capo automatico';
$lang['loadjquery'] = 'Carica librerie JQuery';