Questions marquées «gedit»

Éditeur de texte officiel de l'environnement de bureau GNOME

122
Empêcher gedit de créer des fichiers avec le suffixe '~' (tilde)

J'ai observé que si je modifie un fichier dans gedit, un autre fichier est créé dans le même répertoire (celui qui porte le même nom de fichier et un suffixe '~'). Le fichier supplémentaire reste même si je ferme gedit. Je comprends la nécessité d'un fichier temporaire (par exemple, en cas de...

43
Où sont les préférences de Gedit?

C'est incroyablement étrange. Je ne vois pas de "préférences" dans aucun de mes menus gedit. J'utilise la version 3.8.3. Tout ce que je veux faire, c'est afficher les numéros de ligne, mais je ne peux pas le faire sans préférences. Où diable se cachent-ils? Remarque: j'ai supprimé...

23
Comment zoomer et dézoomer dans Gedit?

J'utilise Ubuntu 11.10. Cela semble être une question facile, mais je ne trouve de réponse nulle part. Sur Ubuntu pré-unitaire, j'utilisais le plugin gedit-zoom pour zoomer le texte dans la fenêtre de l'éditeur vers l'intérieur / vers l'extérieur, soit avec Ctrl+ +/ -, soit en maintenant Ctrl+ la...

23
Raccourcis clavier personnalisés dans gedit

Depuis que je passe beaucoup de temps sur mon ordinateur portable, je me suis habitué à utiliser des raccourcis clavier pour tout. Je veux pouvoir passer d'un onglet à l'autre des documents ouverts dans gedit en appuyant sur Ctrl+ Tabet Ctrl+ Shift+ Tab. Y a-t-il des fichiers de configuration que...

21
gedit: rechercher et remplacer par des expressions régulières

Je veux remplacer cela par gedit: 1299465 | 2003415 | 2015-09-06 05:35:34.59662+02 1299449 | 2009400 | 2015-09-06 05:35:32.301683+02 1299450 | 2008465 | 2015-09-06 05:35:32.451393+02 1299457 | 2015211 | 2015-09-06 05:35:33.451049+02 pour que: 2003415 2009400 2008465 2015211 Comment puis-je faire...