Skip to content

feat(log.wz): add type annotations#155

Merged
DrKJeff16 merged 1 commit into
DrKJeff16:mainfrom
sravioli:feat/log
Apr 10, 2026
Merged

feat(log.wz): add type annotations#155
DrKJeff16 merged 1 commit into
DrKJeff16:mainfrom
sravioli:feat/log

Conversation

@sravioli

Copy link
Copy Markdown
Contributor

Source(s)


Description

Added type annotations for sravioli/log.wz.


Screenshots Or Code Snippets (Optional)

Can be imported with the following snippet:

---@type Log.API
local log = wezterm.plugin.require("https://github.com/sravioli/log.wz")

@sravioli sravioli requested a review from DrKJeff16 as a code owner April 10, 2026 11:57
@sravioli sravioli marked this pull request as draft April 10, 2026 11:58
@sravioli sravioli marked this pull request as ready for review April 10, 2026 12:14
@DrKJeff16 DrKJeff16 self-assigned this Apr 10, 2026
@DrKJeff16 DrKJeff16 merged commit 916851e into DrKJeff16:main Apr 10, 2026
1 check passed
@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! plugin This concerns annotations for a WezTerm plugin. labels Apr 10, 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.

2 participants