[Agda] Using .Xcompose file on Fedora 21

[Nicolas Pouillard]

If your terminal is a gnome app, can you also try with an X terminal such as xterm or urxvt?

You should also make sure that vars such as:

QT_IM_MODULE=xim
GTK_IM_MODULE=xim

Are set early (~/.xinitrc) enough to be part of the process launching the application.

On 05/03/2015 04:28 AM, Colin Adams wrote:
> Not just emacs. \\\\\doesn't work in the terminal either.
>
>
> On 3 May 2015 at 00:35, Nicolas Pouillard <np at nicolaspouillard.fr
> <mailto:np at nicolaspouillard.fr>> wrote:
>
>     Is it just emacs? Does it work in the terminal?
>
>     Indeed I'm not using gnome but as far as I can tell, they keep
>     changing the behavior of xcompose...
>
>     On 05/02/2015 10:23 AM, Colin Adams wrote:
>
>         Thanks.
>
>         But that is just generating a .XCompose file.
>         My problem is that I can't get emacs to make use of it.
>
>         I think my problem is that I am using GNOME 3 (I deduce from the
>         script
>         that you are using xmonad). Even though I have GTK_IM_MODULE set
>         to xim
>         it's not taking any notice of the generated .XCompose file.
>
>         So I think the answer to my original question is that the wiki
>         page is
>         fine, unless you are using recent GNOME 3.
>
>         On 1 May 2015 at 21:53, Nicolas Pouillard
>         <np at nicolaspouillard.fr <mailto:np at nicolaspouillard.fr>
>         <mailto:np at nicolaspouillard.fr <mailto:np at nicolaspouillard.fr>>>
>         wrote:
>
>              On 04/30/2015 07:10 PM, Colin Adams wrote:
>
>                  I've been looking at
>         http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.XCompose, and
>                  trying to use a .XCompose file like it suggests.
>
>                  It's not working.
>
>              Hi!
>
>              Here is what I'm using https://github.com/np/xcompose
>
>              --
>              Best regards,
>              -- NP
>
>
>
>     --
>     Best regards,
>     -- NP
>
>

-- 
Best regards,
-- NP