[Agda] Using .Xcompose file on Fedora 21

[Colin Adams]

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> 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150502/320402bc/attachment.html