Any Atom experts know how I can make the message window here have a bigger font? I've tried and given up… #lazywebpic.twitter.com/om3wU39otr
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@edwinbrady sorry for bothering you, but this might be easier: https://github.com/idris-hackers/atom-language-idris/commit/a933cd0c8cfa37c98d556a95246abbe8176239df …
@edwinbrady Vim user here. Success.
@gfixler I do have a real reason as well :). (I'm a vim user too, usually...)
@edwinbrady Sublime?
@oweinreese They might be annoyed too, but there isn't an Idris mode that I'm aware of that's as well developed…
@edwinbrady I have just the atom package for you! https://atom.io/packages/unregistered …
@adambuckland Thank goodness you're here :)
@kryptiskt I reckon they'll be able to see that okay at the back :).
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.