[Agda] Using .Xcompose file on Fedora 21

Nicolas Pouillard np at nicolaspouillard.fr
Sun May 3 01:35:30 CEST 2015


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



More information about the Agda mailing list