[fix, plugin] Terminal ldoc (#8742)

reviewable/pr8747/r1
zwim 2 years ago committed by GitHub
parent 1c863f76aa
commit 7220bdea4f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,5 +1,7 @@
--[[
--[[--
This plugin provides a terminal emulator (VT52 (+some ANSI))
@module koplugin.terminal
]]
local Device = require("device")

@ -1,5 +1,7 @@
--[[
--[[--
module used for terminal emulator to override InputText
@module koplugin.terminal
]]
local InputText = require("ui/widget/inputtext")

Loading…
Cancel
Save