Fix comment header on PR to not hide and add button to copy filename to clipboard · Issue #7686 · refined-github/refined-github · GitHub
Skip to content

Fix comment header on PR to not hide and add button to copy filename to clipboard #7686

Closed as not planned

Description

@jsjoeio

Description

Often times I will get a PR comment and I want to go to the file to make the requested change. So I have to click and highlight the file name, but have the time I end up closing the comment which is frustrating.

2024-08-14 14 10 04

Instead, I'd like to propose:

  1. remove functionality where clicking collapses the comment
  2. add a button to copy the filename to the clipboard

Example URLs

#7685

Activity

  1. kovsu commented on Aug 15, 2024

    @kovsu
    Member

    I think just need right click. 🤔

  2. fregante commented on Aug 15, 2024

    @fregante
    Member

    Duplicate of #7258
    Duplicate of #7190
    Duplicate of #6398
    Duplicate of #1912

    See if this works for you: https://github.com/justinsmid/userscripts/blob/master/github-copy-file-path-button.js

  3. jsjoeio commented on Aug 15, 2024

    @jsjoeio
    Author

    Sorry, my search-fu failed me when I looked for dupes - that script works perfectly! Thanks for everything Federico!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions