using System.Text.Json.Serialization; namespace Terminal.Gui; /// /// The FrameView is a container View with a border around it. /// public class FrameView : View { /// /// Initializes a new instance of the class. /// layout. /// public FrameView () { CanFocus = true; TabStop = TabBehavior.TabGroup; Border.Thickness = new Thickness (1); Border.LineStyle = DefaultBorderStyle; //Border.ColorScheme = ColorScheme; Border.Data = "Border"; MouseClick += FrameView_MouseClick; } private void FrameView_MouseClick (object sender, MouseEventEventArgs e) { e.Handled = InvokeCommand (Command.HotKey) == true; } /// /// The default for 's border. The default is /// . /// /// /// This property can be set in a Theme to change the default for all /// s. /// [SerializableConfigurationProperty (Scope = typeof (ThemeScope))] [JsonConverter (typeof (JsonStringEnumConverter))] public static LineStyle DefaultBorderStyle { get; set; } = LineStyle.Single; }