<br><br><div><span class="gmail_quote">El día 8/06/06, <b class="gmail_sendername">Andres Robledo</b> &lt;<a href="mailto:androbledo@yahoo.es">androbledo@yahoo.es</a>&gt; escribió:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hola lista,<br><br>Estoy intentando usar los snippets en gedit, para<br>facilitar la escritura de codigo fuente, pero no me<br>aparece la opcion de plugins en el menu &quot;tools&quot;. He<br>intentado por varias vias, instalando la version mas
<br>nueva, removiendo todos los directorios en mi home que<br>pudieran tener configuraciones viejas( .gconf*<br>.gnome*), pero no logro que aparezca la opcion para<br>los snippets. Alguien ha pasado por lo mismo?.</blockquote>
<div><br><br>Para activar los complementos debes ir a:<br><br>Editar-&gt;Preferencias-&gt;Complementos<br><br>Ahí estan los complementos que puedes activar, entre ellos Snippets <br></div><br></div><br><br clear="all"><br>
-- <br>Fernando San Martín Woerner