| 1234567891011121314151617181920212223 | 
							- ///
 
- //  Generated code. Do not modify.
 
- //  source: event.proto
 
- //
 
- // @dart = 2.12
 
- // ignore_for_file: annotate_overrides,camel_case_types,unnecessary_const,non_constant_identifier_names,library_prefixes,unused_import,unused_shown_name,return_of_invalid_type,unnecessary_this,prefer_final_fields,deprecated_member_use_from_same_package
 
- import 'dart:core' as $core;
 
- import 'dart:convert' as $convert;
 
- import 'dart:typed_data' as $typed_data;
 
- @$core.Deprecated('Use editorEventDescriptor instead')
 
- const EditorEvent$json = const {
 
-   '1': 'EditorEvent',
 
-   '2': const [
 
-     const {'1': 'CreateDoc', '2': 0},
 
-     const {'1': 'UpdateDoc', '2': 1},
 
-     const {'1': 'ReadDocInfo', '2': 2},
 
-     const {'1': 'ReadDocData', '2': 3},
 
-   ],
 
- };
 
- /// Descriptor for `EditorEvent`. Decode as a `google.protobuf.EnumDescriptorProto`.
 
- final $typed_data.Uint8List editorEventDescriptor = $convert.base64Decode('CgtFZGl0b3JFdmVudBINCglDcmVhdGVEb2MQABINCglVcGRhdGVEb2MQARIPCgtSZWFkRG9jSW5mbxACEg8KC1JlYWREb2NEYXRhEAM=');
 
 
  |