Skip to content

feat(workspacesionizer.wezterm): add type annotations#129

Merged
DrKJeff16 merged 2 commits into
mainfrom
feat/workspacesionizer
Mar 3, 2026
Merged

feat(workspacesionizer.wezterm): add type annotations#129
DrKJeff16 merged 2 commits into
mainfrom
feat/workspacesionizer

Conversation

@DrKJeff16
Copy link
Copy Markdown
Owner

Source(s)


Description

Added type annotations for @vieitesss' workspacesionizer.wezterm.

Thank you @vieitesss for annotating your code.

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 Workspacesionizer
local wpr = wezterm.plugin.require("https://github.com/vieitesss/workspacesionizer.wezterm")

DrKJeff16 and others added 2 commits March 2, 2026 20:42
Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 self-assigned this Mar 3, 2026
@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 plugin This concerns annotations for a WezTerm plugin. labels Mar 3, 2026
@DrKJeff16 DrKJeff16 moved this to In Progress in @wezterm-types Roadmap Mar 3, 2026
@DrKJeff16 DrKJeff16 merged commit aba7052 into main Mar 3, 2026
2 checks passed
@DrKJeff16 DrKJeff16 deleted the feat/workspacesionizer branch March 3, 2026 02:46
@github-project-automation github-project-automation Bot moved this from In Progress to Done in @wezterm-types Roadmap Mar 3, 2026
@DrKJeff16 DrKJeff16 added the merged This PR has been merged successfully! label Mar 3, 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

Development

Successfully merging this pull request may close these issues.

1 participant