je travaille indifféremment sous linux (MDK) et sous windows,
avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous
intéresse pas) et alors que sous windows mon éditeur favori édite du
texte bien lisible, ce n'est pas le cas sous MDK (je précise que je
travaille sous l'environnement KDE et que modifier la taille des polices
de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du
top pour faire somme toute des choses pultôt modestes ;-) )
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Thomas
th wybrecht wrote:
Bonjour et meilleurs voeux à tous,
je travaille indifféremment sous linux (MDK) et sous windows, avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous intéresse pas) et alors que sous windows mon éditeur favori édite du texte bien lisible, ce n'est pas le cas sous MDK (je précise que je travaille sous l'environnement KDE et que modifier la taille des polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du top pour faire somme toute des choses pultôt modestes ;-) )
Merci, Thierry
fait un shift+ clic gauche dans emacs, tu pourras rêgler la taille de la police
je reconnais que c'est pas top, mais je sais pas faire autrement
th wybrecht wrote:
Bonjour et meilleurs voeux à tous,
je travaille indifféremment sous linux (MDK) et sous windows,
avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous
intéresse pas) et alors que sous windows mon éditeur favori édite du
texte bien lisible, ce n'est pas le cas sous MDK (je précise que je
travaille sous l'environnement KDE et que modifier la taille des polices
de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du
top pour faire somme toute des choses pultôt modestes ;-) )
Merci, Thierry
fait un shift+ clic gauche dans emacs, tu pourras rêgler la taille de la
police
je reconnais que c'est pas top, mais je sais pas faire autrement
je travaille indifféremment sous linux (MDK) et sous windows, avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous intéresse pas) et alors que sous windows mon éditeur favori édite du texte bien lisible, ce n'est pas le cas sous MDK (je précise que je travaille sous l'environnement KDE et que modifier la taille des polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du top pour faire somme toute des choses pultôt modestes ;-) )
Merci, Thierry
fait un shift+ clic gauche dans emacs, tu pourras rêgler la taille de la police
je reconnais que c'est pas top, mais je sais pas faire autrement
Thomas
th wybrecht wrote:
Bonjour et meilleurs voeux à tous,
je travaille indifféremment sous linux (MDK) et sous windows, avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous intéresse pas) et alors que sous windows mon éditeur favori édite du texte bien lisible, ce n'est pas le cas sous MDK (je précise que je travaille sous l'environnement KDE et que modifier la taille des polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du top pour faire somme toute des choses pultôt modestes ;-) )
Merci, Thierry
sinon essaye de lancer emacs-21.3
th wybrecht wrote:
Bonjour et meilleurs voeux à tous,
je travaille indifféremment sous linux (MDK) et sous windows,
avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous
intéresse pas) et alors que sous windows mon éditeur favori édite du
texte bien lisible, ce n'est pas le cas sous MDK (je précise que je
travaille sous l'environnement KDE et que modifier la taille des polices
de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du
top pour faire somme toute des choses pultôt modestes ;-) )
je travaille indifféremment sous linux (MDK) et sous windows, avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous intéresse pas) et alors que sous windows mon éditeur favori édite du texte bien lisible, ce n'est pas le cas sous MDK (je précise que je travaille sous l'environnement KDE et que modifier la taille des polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du top pour faire somme toute des choses pultôt modestes ;-) )
Merci, Thierry
sinon essaye de lancer emacs-21.3
Denis Bitouzé
Le Sun, 02 Jan 2005 15:57:28 +0100 th wybrecht a écrit:
je travaille indifféremment sous linux (MDK) et sous windows, avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous intéresse pas) et alors que sous windows mon éditeur favori édite du texte bien lisible, ce n'est pas le cas sous MDK (je précise que je travaille sous l'environnement KDE et que modifier la taille des polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du top pour faire somme toute des choses pultôt modestes ;-) )
Avant, j'utilisais XEmacs et je n'avais pas ce problème. J'ai voulu me mettre à Emacs et j'ai rencontré le même problème que toi, sans trouver de solution, autre que celle indiquée par Thomas, pénible et à refaire à chaque lancement d'Emacs.
Celui-là, il est gros, mais je pense qu'il va passer car c'est du vécu !;) -- Denis
Le Sun, 02 Jan 2005 15:57:28 +0100
th wybrecht <th-1.wybrechtEnleveR@wanadoo.fr> a écrit:
je travaille indifféremment sous linux (MDK) et sous windows,
avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous
intéresse pas) et alors que sous windows mon éditeur favori édite du
texte bien lisible, ce n'est pas le cas sous MDK (je précise que je
travaille sous l'environnement KDE et que modifier la taille des
polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top
du top pour faire somme toute des choses pultôt modestes ;-) )
Avant, j'utilisais XEmacs et je n'avais pas ce problème. J'ai voulu me
mettre à Emacs et j'ai rencontré le même problème que toi, sans trouver
de solution, autre que celle indiquée par Thomas, pénible et à refaire
à chaque lancement d'Emacs.
Celui-là, il est gros, mais je pense qu'il va passer car c'est du vécu
!;)
--
Denis
Le Sun, 02 Jan 2005 15:57:28 +0100 th wybrecht a écrit:
je travaille indifféremment sous linux (MDK) et sous windows, avec emacs pour éditer du code LaTeX et metapost (bon ma vie ne vous intéresse pas) et alors que sous windows mon éditeur favori édite du texte bien lisible, ce n'est pas le cas sous MDK (je précise que je travaille sous l'environnement KDE et que modifier la taille des polices de l'interface graphique n'a aucune incidence pour emacs).
Que faire ? J'avoue être un peu léger sur ce point (j'utilise le top du top pour faire somme toute des choses pultôt modestes ;-) )
Avant, j'utilisais XEmacs et je n'avais pas ce problème. J'ai voulu me mettre à Emacs et j'ai rencontré le même problème que toi, sans trouver de solution, autre que celle indiquée par Thomas, pénible et à refaire à chaque lancement d'Emacs.
Celui-là, il est gros, mais je pense qu'il va passer car c'est du vécu !;) -- Denis
drkm
Denis Bitouzé writes:
Avant, j'utilisais XEmacs et je n'avais pas ce problème. J'ai voulu me mettre à Emacs et j'ai rencontré le même problème que toi, sans trouver de solution, autre que celle indiquée par Thomas, pénible et à refaire à chaque lancement d'Emacs.
Si je comprend bien, le problème est de changer dans son ~/.emacs la police employée. Quelque chose comme ceci règle-t-il le problème :
(set-default-font "un-nom-de-police")
?
Pour déterminer un nom de police valide, tu peux utiliser ceci sous Windows :
Tu copies cette expression dans le buffer *scratch*, et tu positionnes le point après (avec un retour à la ligne entre, c'est mieux). Puis "C-u C-x C-e" pour sélectionner une police, et insérer dans le buffer la chaîne générée.
Pour les autres systèmes, je ne sais pas. Il y a certainement un équivalent pour les polices de ce qu'est aux faces la fonction suivante (affichage de la liste des faces définies, chacune dans la face affichée) :
(defun drkm-face:display-all-defined-faces () "Affiche la liste des noms de face connus d'Emacs à ce moment. Se sert du buffer *the faces*." (interactive) (switch-to-buffer "*the faces*") (erase-buffer) (mapc (lambda (face) (insert (drkm-face:make-faced-string-name face) "n")) (sort (face-list) 'string<)) (goto-char (point-min)))
(defun drkm-face:make-faced-string-name (face) "Retourne le nom de la face, une chaîne à laquelle a été appliquée la face." (let ((name (copy-sequence (symbol-name face)))) (put-text-property 0 (length name) 'face face name) name))
Avant, j'utilisais XEmacs et je n'avais pas ce problème. J'ai voulu me
mettre à Emacs et j'ai rencontré le même problème que toi, sans trouver
de solution, autre que celle indiquée par Thomas, pénible et à refaire
à chaque lancement d'Emacs.
Si je comprend bien, le problème est de changer dans son ~/.emacs la
police employée. Quelque chose comme ceci règle-t-il le problème :
(set-default-font "un-nom-de-police")
?
Pour déterminer un nom de police valide, tu peux utiliser ceci sous
Windows :
Tu copies cette expression dans le buffer *scratch*, et tu positionnes
le point après (avec un retour à la ligne entre, c'est mieux). Puis
"C-u C-x C-e" pour sélectionner une police, et insérer dans le buffer
la chaîne générée.
Pour les autres systèmes, je ne sais pas. Il y a certainement un
équivalent pour les polices de ce qu'est aux faces la fonction
suivante (affichage de la liste des faces définies, chacune dans la
face affichée) :
(defun drkm-face:display-all-defined-faces ()
"Affiche la liste des noms de face connus d'Emacs à ce moment.
Se sert du buffer *the faces*."
(interactive)
(switch-to-buffer "*the faces*")
(erase-buffer)
(mapc (lambda (face)
(insert (drkm-face:make-faced-string-name face) "n"))
(sort (face-list) 'string<))
(goto-char (point-min)))
(defun drkm-face:make-faced-string-name (face)
"Retourne le nom de la face, une chaîne à laquelle a été appliquée la face."
(let ((name (copy-sequence (symbol-name face))))
(put-text-property 0 (length name) 'face face name)
name))
Avant, j'utilisais XEmacs et je n'avais pas ce problème. J'ai voulu me mettre à Emacs et j'ai rencontré le même problème que toi, sans trouver de solution, autre que celle indiquée par Thomas, pénible et à refaire à chaque lancement d'Emacs.
Si je comprend bien, le problème est de changer dans son ~/.emacs la police employée. Quelque chose comme ceci règle-t-il le problème :
(set-default-font "un-nom-de-police")
?
Pour déterminer un nom de police valide, tu peux utiliser ceci sous Windows :
Tu copies cette expression dans le buffer *scratch*, et tu positionnes le point après (avec un retour à la ligne entre, c'est mieux). Puis "C-u C-x C-e" pour sélectionner une police, et insérer dans le buffer la chaîne générée.
Pour les autres systèmes, je ne sais pas. Il y a certainement un équivalent pour les polices de ce qu'est aux faces la fonction suivante (affichage de la liste des faces définies, chacune dans la face affichée) :
(defun drkm-face:display-all-defined-faces () "Affiche la liste des noms de face connus d'Emacs à ce moment. Se sert du buffer *the faces*." (interactive) (switch-to-buffer "*the faces*") (erase-buffer) (mapc (lambda (face) (insert (drkm-face:make-faced-string-name face) "n")) (sort (face-list) 'string<)) (goto-char (point-min)))
(defun drkm-face:make-faced-string-name (face) "Retourne le nom de la face, une chaîne à laquelle a été appliquée la face." (let ((name (copy-sequence (symbol-name face)))) (put-text-property 0 (length name) 'face face name) name))
