InputDialog: fix "number" input (#8383)

pull/8396/head
hius07 3 years ago committed by GitHub
parent a7cfc65928
commit bfddf710d6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -318,6 +318,7 @@ function InputDialog:init()
-- Create a dummy input widget to get some metrics
local input_widget = InputText:new{
text = self.fullscreen and "-" or self.input,
input_type = self.input_type,
face = self.input_face,
width = self.text_width,
padding = self.input_padding,

Loading…
Cancel
Save