SocketEditor constructor

const SocketEditor({
  1. required String name,
  2. required SocketBuilder model,
  3. bool editPort = true,
})

Creates a widget to edit host and port data for a socket.

Implementation

const SocketEditor({
	required this.name,
	required SocketBuilder model,
	this.editPort = true,
}) : super(model);