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

Adding type tool tip #152

Closed
pachacamac opened this issue Jul 8, 2021 · 2 comments
Closed

Adding type tool tip #152

pachacamac opened this issue Jul 8, 2021 · 2 comments
Assignees
Labels
plugin-interface-types Issues regarding the interface types plugin

Comments

@pachacamac
Copy link

I felt like its a bit mysterious for the user if they can't see the types when using the type plugin to check types. So I added a little tool tip to show the defined type:

viewPlugin.hooks.renderInterface.tap(this, (e) => {
    e.$el.title = e._props.data.type || "any"
    return e
})

Just in case this is useful for anyone 😄

@newcat
Copy link
Owner

newcat commented Jul 13, 2021

Thanks for the suggestion. I think I'll just add this to the plugin-interface-types directly so no hook is needed

@newcat newcat self-assigned this Jul 13, 2021
@newcat newcat added the plugin-interface-types Issues regarding the interface types plugin label Jul 13, 2021
@newcat
Copy link
Owner

newcat commented May 21, 2022

Implemented in v1.10.0

@newcat newcat closed this as completed May 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
plugin-interface-types Issues regarding the interface types plugin
Projects
None yet
Development

No branches or pull requests

2 participants