macvim-dev / macvim-dev/macvim

Bad interaction between guioptions=! and TerminalOpen

Abierto
#896 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Lenguaje dominante
Vim Script
Estrellas
7.9k
Forks
691
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

When external commands are executed in a terminal window and a TerminalOpen autocommand is defined, the command may affect the current window.

To Reproduce

  1. Run mvim -N -i NONE -u vimrc where vimrc has the following content:
  set number
  autocmd TerminalOpen * set nonumber
  set guioptions=!
  1. Type :!ls (or any other :! command)
  2. You should see the line numbers have disappeared from the current window.

I am expecting that the external command is executed in a different window, hence options set in the terminal window shouldn't affect the current window, as is the case if you remove ! from guioptions.

  • Vim 8.1.950
  • OS: macOS 10.14
  • Terminal: GUI

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Reproduce el problema con el vimrc proporcionado y :!ls; después, sigue cómo guioptions=! crea o utiliza la ventana de terminal y cómo se aplica el autocommand TerminalOpen. Se considera terminado cuando el autocommand cambia únicamente la ventana de terminal y deja activados los números de línea de la ventana actual; verifica tanto guioptions=! como el caso de control sin !.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
vim
Área
desktop-dev
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.