KeyboardOptions.fromJson(Map<String, dynamic> json) : isKeyboardOpen = json['isKeyboardOpen'], keyboardHeight = json['keyboardHeight'].toDouble();