Skip to content

Rename "Table Editor" to "Table Formatter" - #51

Merged
cyanzhong merged 1 commit into
mainfrom
develop
Oct 2, 2026
Merged

cyanzhong merged 1 commit into
mainfrom
develop

Conversation

@cyanzhong

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot review overview

🟡 Changes recommended

The source extension metadata must be updated before regenerating index.json.

Review effort: Balanced
Findings: 1 Medium severity

Open (1)
What changed in this PR

Renames the Table Editor extension and updates its description.

Changes:

  • Renames “Table Editor” to “Table Formatter.”
  • References “Interactive Tables” as a richer alternative.
File Description
index.json Updates generated registry metadata.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread index.json Outdated

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot review overview

🟢 Approval recommended

The metadata remains synchronized, with only a minor non-blocking capitalization correction suggested.

Review effort: Balanced
Findings: 2 Low severity

Open (2)
Resolved since last review (1)

Comment thread extensions/markedit-mte.json Outdated
Comment thread index.json Outdated
@cyanzhong
cyanzhong merged commit 375627c into main Oct 2, 2026
1 check passed
@cyanzhong
cyanzhong deleted the develop branch October 2, 2026 06:19
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