Skip to content

feat(wezterm-agent-deck): add type annotations#143

Merged
DrKJeff16 merged 2 commits into
mainfrom
feat/agent-deck
Mar 21, 2026
Merged

feat(wezterm-agent-deck): add type annotations#143
DrKJeff16 merged 2 commits into
mainfrom
feat/agent-deck

Conversation

@DrKJeff16
Copy link
Copy Markdown
Owner

Source(s)


Description

Added type annotations for @Eric162's wezterm-agent-deck.

@Eric162 would greatly appreciate if you linked this plugin in your repository for the users' benefit!


Screenshots Or Code Snippets (Optional)

Can be imported with the following snippet:

---@type AgentDeck
local agent_deck = wezterm.plugin.require("https://github.com/Eric162/wezterm-agent-deck")

@DrKJeff16 DrKJeff16 self-assigned this Mar 21, 2026
@DrKJeff16 DrKJeff16 added new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin. labels Mar 21, 2026
@DrKJeff16 DrKJeff16 moved this to In Progress in @wezterm-types Roadmap Mar 21, 2026
@DrKJeff16 DrKJeff16 merged commit 95f6c09 into main Mar 21, 2026
2 checks passed
@DrKJeff16 DrKJeff16 deleted the feat/agent-deck branch March 21, 2026 07:11
@github-project-automation github-project-automation Bot moved this from In Progress to Done in @wezterm-types Roadmap Mar 21, 2026
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! labels Mar 21, 2026
Eric162 added a commit to Eric162/wezterm-agent-deck that referenced this pull request Mar 23, 2026
Add Type Annotations section linking to DrKJeff16/wezterm-types per request in PR DrKJeff16/wezterm-types#143.
@Eric162
Copy link
Copy Markdown

Eric162 commented Mar 23, 2026

Thanks for the type annotations @DrKJeff16! I've added a link to wezterm-types in the README. 🙏

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin.

Projects

Development

Successfully merging this pull request may close these issues.

2 participants