Unicode input doesn't work

[bgavran]

As the title says, in agda-mode I can successfully compile my .agda file and everything seems to work except the fact that I have to copy/paste unicode symbols. In Emacs writing \forall (or any other unicode code) would replace it with the corresponding unicode symbol, while in Atom nothing seems to happen.

Is there a special setting I have to turn on or something? I'm not sure how to debug this issue

[banacorn]

Here's a recording of me typing \forall on the editor: https://i.imgur.com/MwnqObR.mp4

If you hit \ you should see a "keyboard" pop up as in the video. I think there's nothing special you need to do to turn this on. Could it be some kind of OS-built-in input method getting in the way?

[bgavran]

Thanks for the prompt reply! Interesting, so pressing \ shoud not output \, but open this keyboard popup? Because that does not happen for me.

I had a suspicion that vim mode plugin might have been interfering, but I tried disabling it and it still doesn't work. I'm not sure what kind of OS-built-in input method might be getting in the way, since the character \ registers in Atom and gets written in the currently open buffer.

[banacorn]

You can go to "Settings > Keybindings" or open the "Key binding resolver" to see what's competing with agda-mode for \

[bgavran]

Thanks. So I went there (after uninstalling vim-mode-plus) and there appears to be nothing competing with agda-mode, as you can see:

Since I'm quite new to Atom (and I've been messing around with a bunch of things), there aren't many downsides to doing a complete reinstall (including the removal of cache and config files). After I did that, I installed only agda-mode and language-agda, opened my .agda file, started typing \forall, but still nothing happens.

It feels like I'm missing something obvious, but I'm not sure what!

[banacorn]

Sorry for the inconvenience 😢 Perhaps something is wrong about agda-mode. Please open Atom in dev mode (atom -d or "View > Developer > Open In Dev Mode"), and then open the developer tool to see if To there's any error message ("View > Developer > Toggle Developer Tools")

[bgavran]

Okay, I opened the developer mode, switched to the Console tab and tried typing \forall, but there were no messages at all

[smimram]

I also have the same problem here, \forall (or whatever) does not turn into unicode, and nothing in the dev console. Tell me if I can be of any help debugging this...

[smimram]

BTW, the other binding alt-/ still allows to enter symbols.

[banacorn]

@smimram so alt-/ works but \ does not work, is that right? @bgavran does alt-/ also works for you?

This issue now looks a lot like #10 (I'm reopening this)

[smimram]

Yes, alt-/ working but not \.

[bgavran]

Interesting, for me alt-/ also works (haven't tried it before), but not \. For me alt-/ is is already binded for some actions in my window manager so I prefer to use \ but I guess I will have to make due for now.