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
@archaeron I'm trying the ipkg branch for Effects demos, but I get "undefined is not a function"pic.twitter.com/iVR0paBl6u
@edwinbrady do you have an ipkg file in that project?
@archaeron yes, it listed just options and modules. Does it need anything else?
@edwinbrady https://github.com/idris-hackers/atom-language-idris/commit/1359262f8c3cc4d833334cf06badcee3ff27bbf2 … this probably fixed that error. But I'm curious how it happened. Do you have the repo online?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.