/*
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;
}
}
}