The Wayback Machine - https://web.archive.org/web/20220709053607/https://github.com/topics/github-extension
Skip to content
#

github-extension

Star

Here are 97 public repositories matching this topic...

Language: All
Filter by language
All 97 JavaScript 56 TypeScript 15 HTML 6 Go 3 Ruby 3 CSS 2 Python 2 Haxe 1 Java 1 PHP 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated
refined-github

refined-github / refined-github

Star 18.3k
Open

Bad `sticky-file-header` position on PRs coming from notifications

2
fregante
fregante commented Jul 8, 2022

Please ensure:

  • The bug is caused by Refined GitHub. It doesn't happen if I disable the extension.
  • The bug happens after clearing extension cache. The "Clear cache" button below can also be found at the bottom of the options page.

Example URLs

https://github.com/refined-github/refined-github/pull/5735/files

but you need to come from a notification:

  1. Open https://githu
Read more
bug help wanted good first issue
Find more good first issues

glebm / render-whitespace-on-github

Star 70
Open

Newline indicator

kura
kura commented Dec 28, 2017

Could you add a newline indicator too, I find them useful when used in conjunction with space/tab indicators. So you can tell if there is an annoying superfluous space/tab before the \n.

UTF-8 has several of these characters to choose from.

⤶ U+2936 ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS
↵ U+21B5 DOWNWARDS ARROW WITH CORNER LEFTWARDS
⏎ U+23CE RETURN SYMBOL
↲ U+21B2 DOWNWARDS
Read more
enhancement help wanted good first issue

Improve this page

Add a description, image, and links to the github-extension topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the github-extension topic, visit your repo's landing page and select "manage topics."

Learn more