mailing-list for TeXmacs Users

Text archives Help


[TeXmacs] at least !! :-) customize mod keys under mac os X [was: f(x)=&&& if x<0 and §§§ if 0<x<2 and ...]


Chronological Thread 
  • From: "El.douwen" <address@hidden>
  • To: address@hidden
  • Subject: [TeXmacs] at least !! :-) customize mod keys under mac os X [was: f(x)=&&& if x<0 and §§§ if 0<x<2 and ...]
  • Date: Sat, 7 Nov 2009 12:29:37 +0100
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type:mime-version:subject :date:references:x-mailer; b=F1/7VLqDPEeG56xGu0h19lzeOCyJUTMCSFbszeVdTBNyPPTMEkJ5tpqsgkCE8TgthQ Rz0RIWhLmH4V6vSLfbI5pVAMs8ThmygK4g0iCglBCEWVva3t283OcdrtTojhDiKa1ddM hjzzbt9Jx+J807zvsRC019v0YW2M9xIz6soNs=

ok thank you very much
now, each time i launch texmacs, i open a new windows in the mac os X temrinal, i type modmap ~/.Xmodmap and then the key alt works

- could you lighten me about the instructions you have writed ?
are keycode 63 and keycode 66 the alt and apple keys ?
- what are the numbers of ctrl key, shift key... i mean if i want to customize this
- do we agree that the "customize mod keys" menu of Texmacs does not work under mac os X ? your proposition replace this bugging menu, doesn't it ?
- does anyone know any mean to make this automatic at x11 opening ?
- would it be possible to make an upgrade of Texmacs, with a "customize mod keys" menu that would work properly under mac os X ?

indeed, thank you very much Michael, it is fine, to have the shortcuts...

Vincent


Am 6 nov. 09 um 16:29 schrieb Michael Lachmann:


o make the alt key work on my Mac, I have a file called ~/.Xmodmap
containing the following:
clear Mod1
clear Mod2
keycode 63 = Mode_switch
keycode 66 = Meta_L
add Mod1 = Meta_L
add Mod2 = Mode_switch

then, if you call:
xmodmap ~/.Xmodmap
(I`m sure there is some way to have that done automatically when X11
starts...), alt keys work again on TeXmacs.

Le monde semble sombre quand on a les yeux fermés.

Proverbe indien




Archive powered by MHonArc 2.6.19.

Top of page