Caja de arrastre
Dragbox es una herramienta de arrastrar y soltar de línea de comandos para GNOME, y más. ...
 | Parche gnome-terminalPatch Gnome-terminal agrega una selección de fuente rápida a gnome-terminal. |
| Descargar ahora | |
Parche gnome-terminal Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Precio:
- FREE
- Nombre del editor:
- Paul Warren
- Sitio web del editor:
- http://www.ex-parrot.com/~pdw/empeg/
Parche gnome-terminal Etiquetas
Parche gnome-terminal Descripción
El parche Gnome-Terminal agrega la selección de fuente rápida a Gnome-Terminal. El parche Gnome-Terminal agrega la selección de fuente rápida a Gnome-Terminal. Debería entrar en CVS en algún momento, pero no estoy sosteniendo mi respiración ... ACTUALIZACIÓN 08/09/01 - ... que fue un buen plan ya que el parche ahora está muy fuera de fecha. COMENTARIO DE VELOCIDAD. Encontrará, pulen y publique el parche actualizado que tengo alrededor, pero no espero con ansias el dolor de tratar de encontrar, luego persuadir a TPTB para aplicar este parche. Requisitos: · Gnome
Parche gnome-terminal Software relacionado
apt-imagenes
Apt-ImageN es un script utilizado para instalar paquetes .DEB en una máquina (host1) con una conexión lenta o sin conexión a Internet. ...
Actualización de mapa de bits de E / S Lazy TSS
El parche de actualización de E / S de E / S de Lazy TSS implementa una copia de mapa de bits de E / S de Lazy TSS para la arquitectura I386 y X86-64. ...
