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

github-extension

Here are 85 public repositories matching this topic...

refined-github
fregante
fregante commented Sep 19, 2020

Instead of relying on order of executing, we can use this new API to ensure that the sidebar’s stickiness is updated when it changes size. You'd have to combine ResizeObserver with selector-observer

I'm automatically closing this to be picked up after #3084 is resolved.

The current feature’s code might be a little hard to adapt/understand, so feel free to write it from scratch; This

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

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

You can’t perform that action at this time.