/* Copyright (C) 2014-2019 de4dot@gmail.com This file is part of dnSpy dnSpy is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. dnSpy is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with dnSpy. If not, see . */ using System; using System.Collections.Generic; using Microsoft.VisualStudio.Text.Editor; namespace dnSpy.Contracts.Text.Editor { /// /// options /// sealed class ReplEditorOptions : CommonTextEditorOptions { /// /// Default value /// public static readonly string DEFAULT_PRIMARY_PROMPT_TEXT = "> "; /// /// Default value /// public static readonly string DEFAULT_SECONDARY_PROMPT_TEXT = ". "; /// /// Primary prompt, default is /// public string PrimaryPrompt { get => primaryPrompt ?? DEFAULT_PRIMARY_PROMPT_TEXT; set => primaryPrompt = value; } string? primaryPrompt; /// /// Secondary prompt text, default is /// public string SecondaryPrompt { get => secondaryPrompt ?? DEFAULT_SECONDARY_PROMPT_TEXT; set => secondaryPrompt = value; } string? secondaryPrompt; /// /// All roles /// public HashSet Roles { get; } static readonly string[] defaultRoles = new string[] { PredefinedTextViewRoles.Analyzable, PredefinedTextViewRoles.Editable, PredefinedTextViewRoles.Interactive, PredefinedTextViewRoles.Zoomable, PredefinedDsTextViewRoles.CanHaveCurrentLineHighlighter, PredefinedDsTextViewRoles.CanHaveBackgroundImage, PredefinedDsTextViewRoles.CustomLineNumberMargin, PredefinedDsTextViewRoles.ReplEditor, }; /// /// Constructor /// public ReplEditorOptions() => Roles = new HashSet(defaultRoles, StringComparer.InvariantCultureIgnoreCase); /// /// Clones this /// /// public new ReplEditorOptions Clone() => CopyTo(new ReplEditorOptions()); ReplEditorOptions CopyTo(ReplEditorOptions other) { base.CopyTo(other); other.PrimaryPrompt = PrimaryPrompt; other.SecondaryPrompt = SecondaryPrompt; other.Roles.Clear(); foreach (var r in Roles) other.Roles.Add(r); return other; } } }