10
Estoy usando Tim Pope's Fugitive plugin y deseo cambiar la altura predeterminada :Gstatus. ¿Cómo puedo lograr eso?Cambiar la altura de la ventana del Gstatus de Fugitive
A
Respuesta
13
Lo carga en la ventana de vista previa, por lo que puede establecer la opción previewheight. Sin embargo, se aplicará a todos los demás usos de la ventana de vista previa (como omnicompleto) también.
set previewheight=20
12
Establezca el mapa de teclas del modo normal para ejecutarlo: comando Gstatus y para aumentar el tamaño de la ventana.
nmap <leader>gs :Gstatus<CR><C-w>20+
+0
Buen truco, lo tomaré: D – josemota
+6
Esto funciona principalmente, pero creo que tengo una mejora. El problema que tuve es que si usa
Cuestiones relacionadas
- 1. Altura de la ventana del iPad Safari
- 2. Obtener la altura de la ventana
- 3. ¿cómo configuro la altura del contenedor DIV al 100% de la altura de la ventana?
- 4. CSS: Altura del área de texto como un porcentaje de la altura de la ventana gráfica
- 5. ¿Cómo cambiar la altura del encabezado JTable?
- 6. ¿Es posible cambiar la altura del texto en línea, no solo la altura de la línea?
- 7. cómo cambiar la anchura y la altura de la ventana de información sobre google-maps-V3
- 8. Cómo establecer la altura máxima de la ventana de información del marcador del mapa de Google?
- 9. Notificación para cambiar la altura del teclado del iPad
- 10. ¿Cómo cambiar el tamaño de la altura máxima de un div al cambiar el tamaño de la ventana?
- 11. Cómo cambiar la altura div en el tamaño de la ventana?
- 12. Obtener la altura/anchura de la ventana de WPF
- 13. Cambiar la ubicación de la ventana Jquery
- 14. Cambiar la altura de una UITableViewCell
- 15. Cambiar el tamaño de la altura del iframe de acuerdo con la altura del contenido en él
- 16. cómo obtener la altura exacta del cuerpo de la ventana del navegador web?
- 17. jQuery - Detecta si la altura del elemento es mayor que la altura de la ventana y haz algo al respecto
- 18. javascript/jquery: ¿cómo obtengo la altura interior de la ventana?
- 19. Obteniendo la altura y el ancho del cuerpo o la ventana de la página web
- 20. ¿Puedo cambiar el tamaño de la ventana del navegador?
- 21. jQuery - altura div dinámica igual a la altura de toda la ventana
- 22. Cambiar el ancho y la altura del control deslizante jQuery
- 23. Cómo detectar y cambiar la altura del div en jQuery
- 24. ¿Cómo cambiar la altura de la banda de forma dinámica?
- 25. Cambiar la altura del botón ttk en Python
- 26. JTable cambiar la altura de la fila dinámicamente
- 27. cómo cambiar la altura desplegable en spinner
- 28. JQuery: Cambiar la altura según otro elemento
- 29. JavaScript - Obtenga la altura del navegador
- 30. cambiar dinámicamente el tamaño div en función del tamaño de la ventana del navegador
Tendré que comprobar 'omnicomplete' también, nunca me han presentado. Gracias, Jan! – josemota
He establecido 'previewheight = 20' y': Gstatus' todavía tiene ~ 7 filas de altura. Tal vez hay un entorno específico Fugitive? – josemota
puede ser que, como yo, tenga winheight configurado para algo grande y winminheight configurado para algo pequeño. Creo que winheight gana. –