Context: I want to use Atom in a talk, so that I can annoy vim and emacs users equally :).
-
-
- 5 more replies
New conversation -
-
-
@edwinbrady would this help as a quick fix? https://github.com/idris-hackers/atom-language-idris/commit/784b4f8184f3822de2acaca217abf0ee884a65d5 … it should be possible to add an option in the settings too -
@archaeron Hmm, almost certainly. I'll give it a go. Thanks! Quick fix is fine in this case :). - 16 more replies
New conversation -
-
-
@edwinbrady maybe@k_cieslak can help? -
@silverSpoon@k_cieslak it's okay, it works now with@archaeron's help. I might use this on Saturday... - 2 more replies
New conversation -
-
-
@rad_g It is, but the message window doesn't seem to want to pay attention to it. (I am very much a beginner here…)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@rad_g Having an existing Idris mode trumps ability to change font size here…Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@rad_g It works fine in the main window, but not in the message view. It's very odd. I must be missing something.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@rad_g It seems the key is finding out how to view the source of everything. Getting there!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.