menu
rich_editor_gg package
documentation
rich_editor.dart
URLProtectionSpace
port property
port property
dark_mode
light_mode
port
property
int
?
port
getter/setter pair
The port of the server.
Implementation
int? port;
rich_editor_gg package
documentation
rich_editor
URLProtectionSpace
port property
URLProtectionSpace class