Skip to content

feat(ai-helper): add annotations for plugin#98

Merged
DrKJeff16 merged 2 commits into
mainfrom
feat/ai-helper
Feb 17, 2026
Merged

feat(ai-helper): add annotations for plugin#98
DrKJeff16 merged 2 commits into
mainfrom
feat/ai-helper

Conversation

@DrKJeff16
Copy link
Copy Markdown
Owner

Source(s)


Description

I've added type annotations for @Michal1993r's presentation.wez.


Screenshots Or Code Snippets

To activate:

---@type AIHelper
local ai_helper = wezterm.plugin.require("https://github.com/Michal1993r/ai-helper.wezterm")

Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request new-types A PR addresses new data types and/or fields labels Feb 17, 2026
@DrKJeff16 DrKJeff16 self-assigned this Feb 17, 2026
@DrKJeff16 DrKJeff16 merged commit 5d101bc into main Feb 17, 2026
2 checks passed
@DrKJeff16 DrKJeff16 deleted the feat/ai-helper branch February 17, 2026 00:24
@DrKJeff16 DrKJeff16 added the merged This PR has been merged successfully! label Feb 17, 2026
@DrKJeff16 DrKJeff16 added the plugin This concerns annotations for a WezTerm plugin. label Feb 26, 2026
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

None yet

Development

Successfully merging this pull request may close these issues.

1 participant