Questions marquées «gvim»

gVim est la version GUI de Vim (par opposition à Vim fonctionnant dans un émulateur de terminal). Il se comporte exactement de la même manière, mais possède des fonctionnalités graphiques supplémentaires.

38
Pourquoi ai-je besoin d'un vimrc et d'un gvimrc?

Il semble y avoir deux façons de stocker les préférences spécifiques à gvim: Conservez un .vimrcfichier pour vim et un .gvimrcfichier pour les ajouts spécifiques à gvim. Conservez tous les paramètres dans .vimrcet encapsulez les paramètres spécifiques à gvim dans une condition de détection de...

32
Puis-je utiliser une police non monospace dans Vim ou gVim?

Est-il possible d'utiliser une police non monospace dans vimou gvim? J'ai essayé de changer la police pour gVim avec: :set guifont=Dejavu\ Serif\ 12 Mais cela me donne des résultats plutôt laids: J'obtiens les mêmes résultats si j'utilise le menu (Édition -> Sélectionner la police) :help guifont...

25
Comment plier du texte dans un fichier JSON?

J'ai un gros fichier JSON. Il n'est pas facile de travailler sur tous les fichiers à la fois. Je veux plier du contenu pour pouvoir travailler sur une section du fichier JSON. Par exemple: { obj: {+}, // folded section obj:{ // unfolded section } } Est-il possible de plier la structure JSON dans...

14
Pourquoi mes fenêtres défilent-elles ensemble?

J'ai deux fenêtres ouvertes sur le même tampon et je souhaite éditer deux parties du même fichier en même temps. Je ne peux pas parce que les fenêtres défilent ensemble. J'ai noscrollbindmis donc je suis confus par cela. Que pourrait-il y avoir d'autre? Si je démarre une nouvelle session, le...

11
Basculez rapidement entre les polices lors de l'exécution

Bien que les polices puissent être sélectionnées manuellement dans GVim à partir du menu, j'ai quelques polices préférées que je voudrais basculer entre en fonction de la tâche à accomplir (petit bitmap, OTF plus grand, etc.) . Existe-t-il un moyen de configurer la liaison de touches pour parcourir...