return height of editor widget after drawing
commit96c056bd4cbc1f3bbacc118dfcf461dc1f3d45ac
authorKartik K. Agaram <vc@akkartik.com>
Tue, 6 Jun 2023 19:52:44 +0000 (6 12:52 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Tue, 6 Jun 2023 19:52:44 +0000 (6 12:52 -0700)
tree30b4f7f817f6618755441088a8ae1d998df59400
parent43114e2fa5142ad244a6a85b714f7eb512831703
return height of editor widget after drawing
edit.lua