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 …
@archaeron I tried that, and it's certainly neater. Only odd thing now is the error messages - I wonder if they'd look better in the panel?
@edwinbrady Nice work! /cc @archaeron
@edwinbrady thanks for Idris!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.