[Agda] Using .Xcompose file on Fedora 21

[Colin Adams]

Not just emacs. \\\\\doesn't work in the terminal either.


On 3 May 2015 at 00:35, Nicolas Pouillard <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>> 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150503/a63f0985/attachment.html