Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a repl that opens in an atom tab #80

Merged
merged 10 commits into from
Oct 24, 2015
Merged

Add a repl that opens in an atom tab #80

merged 10 commits into from
Oct 24, 2015

Conversation

archaeron
Copy link
Member

First look:

idris_repl_panel_2

@archaeron
Copy link
Member Author

screen shot 2015-10-22 at 14 23 48

@cnd
Copy link
Member

cnd commented Oct 22, 2015

👍

@archaeron
Copy link
Member Author

Handle errors without crashing.

idris_repl_panel_3

@archaeron archaeron mentioned this pull request Oct 24, 2015
Closed
@archaeron
Copy link
Member Author

Apropos panel with tooltip.

idris_apropos_panel_1

@david-christiansen
Copy link
Member

Lookin' good!

archaeron added a commit that referenced this pull request Oct 24, 2015
@archaeron
Merge pull request #80 from idris-hackers/repl-experiments
b5db450 
Add a repl that opens in an atom tab
@archaeron archaeron merged commit b5db450 into master Oct 24, 2015
@archaeron
Copy link
Member Author

Thanks :)

This is now in master. I'll need to search for some testers in IRC.

This was referenced Oct 25, 2015
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@archaeron @cnd @david-christiansen