Skip to content

[F] Improve theming#3928

Merged
1aurend merged 12 commits intonextfrom
feature-theming
Nov 21, 2025
Merged

[F] Improve theming#3928
1aurend merged 12 commits intonextfrom
feature-theming

Conversation

@1aurend
Copy link
Contributor

@1aurend 1aurend commented Oct 2, 2025

No description provided.

@1aurend 1aurend marked this pull request as ready for review November 19, 2025 19:40
@1aurend 1aurend requested a review from dananjohnson November 19, 2025 19:40
@1aurend
Copy link
Contributor Author

1aurend commented Nov 19, 2025

@dananjohnson this should be ready for an initial review. Is there anything else we wanted to accomplish here?

Note: I haven't yet rebased next and this branch to include the fix for saving updates to features, so that won't work here.

Copy link
Member

@dananjohnson dananjohnson left a comment

Choose a reason for hiding this comment

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

This is looking good! A few little things:

  • Let's adjust the language below the accent color field now, since it's not a text input. Let's just simplify: Enter a color in an accepted CSS color format. Leave blank to restore default color. Maybe also adjust the others a bit, to Override the ____ color. Leave blank to restore default color. (Interestingly and semi-related, I noticed that if you type a named color like rebeccapurple in the picker it will convert it for you!)
  • Can you standardize the focus outline color in the picker to always be the Manifold accent? Sometimes it's blue, sometimes it's green.
  • Is it possible for hitting Enter to just close the picker rather than also submitting the form?

Let's leave it there for now. Not everything we wanted, but it's definitely an improvement! Thanks Lauren!

@1aurend
Copy link
Contributor Author

1aurend commented Nov 21, 2025

Interestingly and semi-related, I noticed that if you type a named color like rebeccapurple in the picker it will convert it for you!

Oh neat! I hadn't tried that.

@1aurend 1aurend merged commit 185c50d into next Nov 21, 2025
3 checks passed
@1aurend 1aurend deleted the feature-theming branch November 21, 2025 21:02
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