-
-
Notifications
You must be signed in to change notification settings - Fork 19
Add in-app Game Theme Editor (BL-16323) #8086
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
Changes from 3 commits
d89fae0
94e7ac7
8624b7e
7716b7b
8bb9ac6
5aee1b2
d979ffc
fae350e
3a7e8fb
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -353,6 +353,21 @@ | |
| <note>ID: CollectionTab.BookMenu.MoveToCurrentCollection</note> | ||
| <note>{0} will be replaced with the name of the collection that the user currently has open for editing.</note> | ||
| </trans-unit> | ||
| <trans-unit id="EditTab.Toolbox.Games.NewTheme" translate="no"> | ||
| <source xml:lang="en">New…</source> | ||
| <note>ID: EditTab.Toolbox.Games.NewTheme</note> | ||
| <note>An item in the game "Theme" dropdown in the Games tool of the Edit tab's toolbox. Choosing it starts a brand-new game theme in the theme editor. The trailing ellipsis (…) signals that an editor will open.</note> | ||
| </trans-unit> | ||
| <trans-unit id="EditTab.Toolbox.Games.CustomizeTheme" translate="no"> | ||
| <source xml:lang="en">Customize…</source> | ||
| <note>ID: EditTab.Toolbox.Games.CustomizeTheme</note> | ||
| <note>An item in the game "Theme" dropdown in the Games tool of the Edit tab's toolbox. Choosing it creates a new game theme that starts as a copy of the theme currently applied, then opens it in the theme editor. The trailing ellipsis (…) signals that an editor will open.</note> | ||
| </trans-unit> | ||
| <trans-unit id="EditTab.Toolbox.Games.EditThemeColors" translate="no"> | ||
| <source xml:lang="en">Edit theme colors</source> | ||
| <note>ID: EditTab.Toolbox.Games.EditThemeColors</note> | ||
| <note>Tooltip (hover text) on the pencil/edit button next to the game "Theme" dropdown in the Games tool of the Edit tab's toolbox. Clicking the button opens the game theme editor to change the current theme's colors.</note> | ||
| </trans-unit> | ||
| </body> | ||
| </file> | ||
|
Comment on lines
354
to
382
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
All three new Context Used: AGENTS.md (source)
Member
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. [Claude Opus 5] Half agreed, and leaving this open deliberately. Where this is mistaken: Where this is right: the observable consequence you describe is real — until the attribute is removed, non-English users see "New…", "Customize…" and "Edit theme colors" in English next to menu text that is translated. So the real question is whether the wording is final enough to flip now, which is the developer's call rather than something to decide from convention alone. It is in this run's preflight decision report; this thread stays open until that decision comes back, at which point the outcome gets recorded here.
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Thanks for the correction — that's fair, and the distinction you've drawn is exactly right. My comment conflated two separate questions: (1) is For what it's worth, I already have a rule (from a previous correction on this same pattern) that says not to flag Tip: You can customize Greptile's behavior for this repo with |
||
| </xliff> | ||
Uh oh!
There was an error while loading. Please reload this page.