8000 `improve-shortcut-help` - Optimize feature by SunsetTechuila · Pull Request #8797 · refined-github/refined-github · GitHub
[go: up one dir, main page]

Skip to content

Conversation

@SunsetTechuila
Copy link
Member
@SunsetTechuila SunsetTechuila commented Nov 25, 2025

Optimizes the feature by:

  • unloading it if no shortcuts are available on the current page
  • memoizing the resulting shortcuts element, which doesn't change until the feature is re-run

A follow-up to #8775

Test URLs

Screenshot

@SunsetTechuila
Copy link
Member Author
SunsetTechuila commented Nov 25, 2025

Maybe we should memoize entire contents of this dialog since GitHub doesn't cache the shortcut list. Having to look at the loading spinner every time I open the dialog is killing me. What do you think?

8000
@SunsetTechuila
Copy link
Member Author

Maybe we should memoize entire contents of this dialog since GitHub doesn't cache the shortcut list.

Implemented

@SunsetTechuila SunsetTechuila changed the title improve-shortcut-help - Optimize improve-shortcut-help - Speed up dialog display Nov 27, 2025
@fregante
Copy link
Member

If it works, no need to spend time on it

@fregante fregante closed this Dec 15, 2025
@SunsetTechuila
Copy link
Member Author
SunsetTechuila commented Dec 15, 2025

2a3521e is a small change. Are you not going to accept it either?

@fregante
Copy link
Member

Your last comment said something wasn't working and was asking me for help. I don't have time to optimize things right now

@SunsetTechuila
Copy link
Member Author
SunsetTechuila commented Dec 15, 2025

If you reopen this PR, I'll revert it back to 2a3521e, which is ready to be reviewed and merged

@fregante fregante reopened this Dec 16, 2025
@SunsetTechuila SunsetTechuila changed the title improve-shortcut-help - Speed up dialog display improve-shortcut-help - Optimize feature Dec 16, 2025
@fregante fregante merged commit fe6420a into refined-github:main Jan 3, 2026
7 checks passed
@SunsetTechuila SunsetTechuila deleted the memo-shortc branch January 3, 2026 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants

0