@@ -16,9 +16,7 @@ import Development.IDE.Types.Diagnostics
17-- | Different types of content we can show on hover.
17-- | Different types of content we can show on hover.
18data HoverText
18data HoverText
19− = HoverHeading !T.Text
20− -- ^ A header that explains the content below it.
21− | HoverDamlCode !T.Text
19+ = HoverDamlCode !T.Text
22 -- ^ Highlighted DAML-Code
20 -- ^ Highlighted DAML-Code
23 | HoverMarkdown !T.Text
21 | HoverMarkdown !T.Text
24 -- ^ Markdown text.
22 -- ^ Markdown text.
@@ -26,7 +24,6 @@ data HoverText
27getHoverTextContent :: HoverText -> T.Text
25getHoverTextContent :: HoverText -> T.Text
28getHoverTextContent = \case
26getHoverTextContent = \case
30 HoverDamlCode t -> t
27 HoverDamlCode t -> t
31 HoverMarkdown t -> t
28 HoverMarkdown t -> t