Skip to content

Remove duplicate dictionary card from profile - #134

Merged
pirajoke merged 1 commit into
mainfrom
codex/remove-profile-dictionary
Sep 9, 2026
Merged

Remove duplicate dictionary card from profile#134
pirajoke merged 1 commit into
mainfrom
codex/remove-profile-dictionary

Conversation

@pirajoke

@pirajoke pirajoke commented Sep 9, 2026

Copy link
Copy Markdown
Owner

Summary

  • remove the duplicate Open Dictionary card from the profile
  • keep the dictionary control in the Words tab
  • remove the obsolete dictionary key from profile reorder persistence
  • cache-bust the updated Mini App JavaScript

Verification

  • RED test reproduced one dictionary control inside the profile
  • profile reorder suite: 11 passed
  • affected Mini App suite: 71 passed
  • full suite: 1060 passed, 3 skipped
  • Node syntax, compileall, and git diff --check passed

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 9, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-09T16:07:20.332523Z f3f2b1e PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@pirajoke
pirajoke merged commit 0543a20 into main Sep 9, 2026
1 check passed
@pirajoke
pirajoke deleted the codex/remove-profile-dictionary branch September 9, 2026 16:13
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.

1 participant