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.

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

Better type info + type popup #7

Merged
merged 3 commits into from
Jul 29, 2015
Merged

Conversation

rvion
Copy link
Collaborator

@rvion rvion commented Jul 29, 2015

2 new features:

  • clever type info: (show the most relevant type information possible)
  • visual popup right below text selection (enable / disable via config file)

example 1:

capture d ecran 2015-07-29 a 13 16 35

capture d ecran 2015-07-29 a 13 16 41

capture d ecran 2015-07-29 a 13 16 47

capture d ecran 2015-07-29 a 13 17 00

Example 2:

capture d ecran 2015-07-28 a 13 40 01

capture d ecran 2015-07-28 a 13 39 45

capture d ecran 2015-07-28 a 13 39 40

capture d ecran 2015-07-28 a 13 39 32

(ps: I don't usually write python, so it may not be idiomatic code. I just wanted those features enough to give it a go)

@rvion rvion changed the title Type info improvmements Better type info + type popup Jul 29, 2015
@rvion
Copy link
Collaborator Author

rvion commented Jul 29, 2015

ping @lukexi

lukexi added a commit that referenced this pull request Jul 29, 2015
@lukexi lukexi merged commit 2451c95 into lukexi:master Jul 29, 2015
@lukexi
Copy link
Owner

lukexi commented Jul 29, 2015

Awesome!! Thanks dude

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants