Matti Johannes Eskelinen comments

Repositories
Issues
Comments

Results 3 comments of


                                            Matti Johannes Eskelinen

Input Symbol only works from Cmd+Shift+P

I just installed the newest atom-beta, language-agda and agda-mode and the problem persists. I have a Finnish keyboard layout, this might have something to do with the problem. When I...

Input Symbol only works from Cmd+Shift+P

I only have the Finnish keyboard. I investigated some more, and it seems that with Alt-key, the 'key' is interpreted as if my keyboard had US layout. Without Alt, I...

Ascii file comment lines

Sounds good! Thanks. It's not a problem to wait for the next version, I can get started with // comments.