diff options
author | Phil Ruffwind <rf@rufflewind.com> | 2015-09-30 02:22:43 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 17:51:21 +0100 |
commit | 1b6bcd62e7f5534be45a0d5737b76d181c2d934b (patch) | |
tree | cff5673e3bf990748c1b75cb7d25f19d8dd6283f /haddock-api/src/Haddock/Backends/Xhtml/Utils.hs | |
parent | 228a0d72baa04be161b0fc918266f2edb0c6519b (diff) |
Move the permalinks to "#" on the right side
Since pull request #407, the identifiers have been permalinked to
themselves, but this makes it difficult to copy the identifier by
double-clicking. To work around this usability problem, the permalinks
are now placed on the far right adjacent to "Source", indicated by "#".
Also, 'namedAnchor' now uses 'id' instead of 'name' (which is obsolete).
Diffstat (limited to 'haddock-api/src/Haddock/Backends/Xhtml/Utils.hs')
-rw-r--r-- | haddock-api/src/Haddock/Backends/Xhtml/Utils.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs b/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs index 98ff4007..1d49807d 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs @@ -195,7 +195,7 @@ dot = toHtml "." -- | Generate a named anchor namedAnchor :: String -> Html -> Html -namedAnchor n = anchor ! [XHtml.name n] +namedAnchor n = anchor ! [XHtml.identifier n] linkedAnchor :: String -> Html -> Html |