Saltar al contenido

truco

Colores para Geany 1.22

No me ha sido demasiado fácil (al menos tanto como yo esperaba), así que dejo lo mejor que he encontrado (y que me ha funcionado) de esquemas de color para Geany. Es un repo en Github, pero lo que hacéis es descargaros el zip y descomprimirlo en la carpeta «~/.config/geany». Bueno, en realidad lo único que nos interesa es la carpeta colorschemes, pero por si al lector le resulta más cómodo. Son un conjunto en total de 21 colores. Uno de ellos, se parece a más no poder al tema por defecto de Sublime Text: Monokai. El resto, son también muy buenos. La imagen de arriba tiene el código de… Leer más »Colores para Geany 1.22

Cómo activar la extensión de Gnome shell para cambiar de tema

Actualización 19/04/2017: Se ha testeado que funciona para las versiones de Ubuntu 16.04 y posteriores, incluyendo Gnome 3.22 Bueno, acabo de instalar Ubuntu 12.04 y en el ppa de WebUpd8 no tenemos la extensión «gnome-shell-extensions-user-theme». Esto provoca que el programa «gnome-tweak-tool» no pueda instalar nuevos temas. Pero tiene solución, y la verdad, bastante cómoda. Sólo tendremos que ir a https://extensions.gnome.org/extension/19/user-themes/ y darle a activar, siendo conscientes de que estamos en la sesión con gnome shell. Y así de simple, ya tendremos la posibilidad de añadir más temas del shell

[Tip]Desplazamiento suave en Firefox

Todo este tiempo usando firefox… y yo sin saber que tiene una función de desplazamiento suave. La verdad es que ahora viene un poco tarde saberlo, ya que en Firefox 13 lo implementarán por defecto, pero para activarlo en firefox 12 (y anteriores): Ten en cuenta que estas opciones se encuentran en la pestaña «Avanzados»: