GitHub repository: pragtical/widget
Primary language: Lua
Created: 2023-05-21T03:51:29Z
Description: Widgets for Pragtical editor.