@@ -16,9 +16,7 @@ import Development.IDE.Types.Diagnostics
1616
1717-- | Different types of content we can show on hover.
1818data HoverText
19− = HoverHeading !T.Text
20− -- ^ A header that explains the content below it.
21− | HoverDamlCode !T.Text
19+ = HoverDamlCode !T.Text
2220 -- ^ Highlighted DAML-Code
2321 | HoverMarkdown !T.Text
2422 -- ^ Markdown text.
@@ -26,7 +24,6 @@ data HoverText
2624
2725getHoverTextContent :: HoverText -> T.Text
2826getHoverTextContent = \case
29− HoverHeading t -> t
3027 HoverDamlCode t -> t
3128 HoverMarkdown t -> t
3229