Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add high-contrast themes to general preferences #696

Merged
merged 1 commit into from
Dec 17, 2024

Conversation

ralfbrown
Copy link
Contributor

No description provided.

@elstoc
Copy link
Contributor

elstoc commented Dec 17, 2024

Would you mind looking up the appropriate darktable PR reference and providing a link to it when you raise dtdocs PRs please. Just helps with the admin.

@ralfbrown
Copy link
Contributor Author

PR 17245.

@elstoc
Copy link
Contributor

elstoc commented Dec 17, 2024

Thanks. If you could post them as links (darktable-org/darktable#17245) that would allow me to be really really lazy :)

@elstoc
Copy link
Contributor

elstoc commented Dec 17, 2024

LGTM thanks

@elstoc elstoc merged commit 3a74ec2 into darktable-org:master Dec 17, 2024
1 check passed
@elstoc
Copy link
Contributor

elstoc commented Dec 17, 2024

@ralfbrown: One more thing to note here. I know you have the power to amend labels in darktable PRs but I'd prefer to do that myself when I'm satisfied the documentation is complete. Also generally I only remove the "documentation" labels entirely if I don't think a PR needs documentation updates. For completed documentation I remove the "documentation-pending" label and replace it with a "documentation-complete" label.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants