Skip to content

Display element summary followed by the dartdoc in Hovers #26

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
Merged
DanTup merged 1 commit into from
Aug 6, 2016
Merged

Display element summary followed by the dartdoc in Hovers #26

DanTup merged 1 commit into from
Aug 6, 2016

Conversation

@devoncarew
Copy link
Contributor

@devoncarew devoncarew commented Aug 6, 2016

  • display the element summary (followed by the dartdoc)
  • limit the total length to ~20 markdown lines (until the tooltip UI supports scrolling)
  • show the element summary in dart code style

screen shot 2016-08-05 at 11 25 07 pm

@devoncarew
Copy link
Contributor Author

devoncarew commented Aug 6, 2016

fix https://github.com/DanTup/Dart-Code/issues/25

@DanTup DanTup added this to the 0.6.0 milestone Aug 6, 2016
@DanTup DanTup changed the title display element summary followed by the dartdoc Display element summary followed by the dartdoc in Hovers Aug 6, 2016
@DanTup DanTup merged commit 0b01000 into Dart-Code:master Aug 6, 2016
@DanTup
Copy link
Member

DanTup commented Aug 6, 2016

Awesome, thank you! :)

This was referenced Aug 6, 2016
Closed
Closed
@Abdullah1353 Abdullah1353 mentioned this pull request Nov 6, 2018
Closed
@simondebbarma simondebbarma mentioned this pull request Feb 13, 2019
Closed
@azambuilds azambuilds mentioned this pull request Mar 27, 2019
Closed
@aircircle aircircle mentioned this pull request May 29, 2019
Closed
@g-yashwanth g-yashwanth mentioned this pull request Jul 4, 2019
Closed
@prabhjotSL prabhjotSL mentioned this pull request Jul 23, 2019
Closed
@Maksimka101 Maksimka101 mentioned this pull request Jul 15, 2020
Closed
@ViNaYvINi123 ViNaYvINi123 mentioned this pull request Nov 23, 2020
Closed
@6N5tr 6N5tr mentioned this pull request Sep 1, 2021
Closed
@ghost ghost mentioned this pull request May 11, 2023
Closed
@SenexTech SenexTech mentioned this pull request Nov 13, 2025
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

is enhancement

Projects

None yet

Milestone

v0.6

Development

Successfully merging this pull request may close these issues.

2 participants

@devoncarew @DanTup