tree a4a803929c7f362f89667bfa60ab896029b423aa
parent 54d1118a667e2f394e0612d006cc0d080677c533
author Danny Tuppeny <dantup@google.com> 1545058700 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1545058700 +0000

Add a divider between the element description and docs in hovers

Change-Id: I08dc275fd343dc7eaa0f0c6033b8889882889cd2
Reviewed-on: https://dart-review.googlesource.com/c/87406
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Auto-Submit: Danny Tuppeny <dantup@google.com>