Skip to content
Snippets Groups Projects
  • Rufflewind's avatar
    1b6bcd62
    Move the permalinks to "#" on the right side · 1b6bcd62
    Rufflewind authored and Ben Gamari's avatar Ben Gamari committed
    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).
    1b6bcd62
    History
    Move the permalinks to "#" on the right side
    Rufflewind authored and Ben Gamari's avatar Ben Gamari committed
    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).
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
ocean.css 9.04 KiB