import 'package:flutter/cupertino.dart'; import '../../../about/internal/application/ServerProfile.dart'; import 'ServerEditorState.dart'; /// Edits a server's connection details only. Services are managed on the /// server detail screen. class ServerEditor extends StatefulWidget { /// null = register a new server. final ServerProfile? server; const ServerEditor({super.key, this.server}); @override State createState() => ServerEditorState(); }