Skip to content

Conversation

@FloEdelmann
Copy link
Member

@FloEdelmann FloEdelmann commented Dec 28, 2020

@fregante fregante changed the title Add feature-descriptions feature Add rgh-feature-descriptions feature Jan 4, 2021
@fregante fregante added meta Related to Refined GitHub itself and removed enhancement labels Jan 4, 2021
@fregante fregante merged commit b012633 into refined-github:master Jan 8, 2021
@FloEdelmann FloEdelmann deleted the feature-descriptions branch January 8, 2021 16:56
readFileSync(path.join(__dirname, 'source/refined-github.ts'), 'utf-8').matchAll(/^import '\.\/features\/([^.]+)';/gm),
match => match[1] as FeatureID
).sort();
).sort().filter(id => !id.startsWith('rgh-'));
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@fregante Does this mean that we want to prevent features prefixed with rgh- from being togglable in the extension options? Or was that an unintended side effect of not requiring them to have descriptions in the README?

It seems like those are the only non-CSS features that can't be toggled from the extension options, which got me curious about them.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Correct you cannot toggle them

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

Labels

meta Related to Refined GitHub itself

Development

Successfully merging this pull request may close these issues.

Meta-feature: Add information box to each feature file

4 participants