36 lines
1.7 KiB
C#
36 lines
1.7 KiB
C#
|
/*
|
||
|
|
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 <http://www.gnu.org/licenses/>.
|
||
|
|
*/
|
||
|
|
|
||
|
|
using Microsoft.VisualStudio.Text.Editor;
|
||
|
|
|
||
|
|
namespace dnSpy.Contracts.Text.Editor {
|
||
|
|
/// <summary>
|
||
|
|
/// Default <see cref="IReplEditor"/> options
|
||
|
|
/// </summary>
|
||
|
|
public static class DefaultReplEditorOptions {
|
||
|
|
#pragma warning disable CS1591 // Missing XML comment for publicly visible type or member
|
||
|
|
public const string RefreshScreenOnChangeName = "IReplEditor/RefreshScreenOnChange";
|
||
|
|
public static readonly EditorOptionKey<bool> RefreshScreenOnChangeId = new EditorOptionKey<bool>(RefreshScreenOnChangeName);
|
||
|
|
public const string RefreshScreenOnChangeWaitMilliSecondsName = "IReplEditor/RefreshScreenOnChangeWaitMilliSeconds";
|
||
|
|
public static readonly EditorOptionKey<int> RefreshScreenOnChangeWaitMilliSecondsId = new EditorOptionKey<int>(RefreshScreenOnChangeWaitMilliSecondsName);
|
||
|
|
public const int DefaultRefreshScreenOnChangeWaitMilliSeconds = DefaultDsTextViewOptions.DefaultRefreshScreenOnChangeWaitMilliSeconds;
|
||
|
|
#pragma warning restore CS1591 // Missing XML comment for publicly visible type or member
|
||
|
|
}
|
||
|
|
}
|