CRe margins: hide bottom menu on change (#5000)

So we can immediately see how's the bottom margin.
This commit is contained in:
poire-z
2019-05-05 10:15:13 +02:00
committed by Frans de Jonge
parent 3009f5ae54
commit 7c53fcd922
5 changed files with 96 additions and 45 deletions

View File

@@ -68,6 +68,9 @@ function InputContainer:paintTo(bb, x, y)
if self[1] == nil then
return
end
if self.skip_paint then
return
end
if not self.dimen then
local content_size = self[1]:getSize()