Skip to content

feat(modal_wezterm): add modal.wezterm annotations#96

Merged
DrKJeff16 merged 2 commits into
mainfrom
feat/modal.wezterm
Feb 14, 2026
Merged

feat(modal_wezterm): add modal.wezterm annotations#96
DrKJeff16 merged 2 commits into
mainfrom
feat/modal.wezterm

Conversation

@DrKJeff16

Copy link
Copy Markdown
Owner

Source(s)


Description

Added type annotations for @MLFlexer's modal.wezterm.

@MLFlexer Thank you SO MUCH for adding annotations to your code ❤️.


Screenshots Or Code Snippets (Optional)

Can be imported with the following snippet:

---@type ModalWezterm
local modal = wezterm.plugin.require("https://github.com/MLFlexer/modal.wezterm")

Added type annotations for @MLFlexer's `modal.wezterm`

Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 self-assigned this Feb 14, 2026
Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 merged commit 9c5da36 into main Feb 14, 2026
1 check passed
@DrKJeff16 DrKJeff16 deleted the feat/modal.wezterm branch February 14, 2026 22:29
@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 merged This PR has been merged successfully! labels Feb 14, 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