private static ClipboardSettings ReadClipboardSettings(XmlReader reader)
        {
            var tmpClipboardSettings = new ClipboardSettings();

            if (SkipEmptyElement(reader))
            {
                return(tmpClipboardSettings);
            }

            Debug.Assert(reader.NodeType == XmlNodeType.Element);
            reader.ReadStartElement();
            reader.MoveToContent();

            while (true)
            {
                var tmpNodeType = reader.NodeType;
                if (tmpNodeType == XmlNodeType.None || tmpNodeType == XmlNodeType.EndElement)
                {
                    break;
                }

                if (tmpNodeType == XmlNodeType.Element)
                {
                    switch (reader.LocalName)
                    {
                    default:
                        reader.Skip();
                        break;

                    case "ClipboardClearOnExit":
                        tmpClipboardSettings.ClipboardClearOnExit = ReadBoolean(reader);
                        break;

                    case "ClipboardClearAfterSeconds":
                        tmpClipboardSettings.ClipboardClearAfterSeconds = ReadInt32(reader);
                        break;
                    }

                    reader.MoveToContent();
                }
            }

            reader.ReadEndElement();

            return(tmpClipboardSettings);
        }
Esempio n. 2
0
        private void SetDefault()
        {
            Main                = new MainViewSettings();
            Translate           = new TranslateSettings();
            Clipboard           = new ClipboardSettings();
            Window              = new WindowSettings();
            AutoTyper           = new AutoTyperSettings();
            CompactView         = new CompactViewSettings();
            EditableCaptureArea = new EditableCaptureAreaSettings();
            CaptureArea         = new CaptureAreaSettings();
            CaptureAreaStyle    = new CaptureAreaStyleSettings();
            MiniOutput          = new MiniOutputSettings();
            Hotkeys             = new HotkeysSettings();
            TargetLanguage      = new TargetLanguageSettings();
            LanguageProfiles    = new LanguageProfilesSettings();
            LanguageFilters     = new LanguageFiltersSettings();
            ServerInfo          = new ServerInfoSettings();
            KeyInfo             = new KeyInfoSettings();

            Main.SetDefault();
            Translate.SetDefault();
            Clipboard.SetDefault();
            Window.SetDefault();
            AutoTyper.SetDefault();
            CompactView.SetDefault();
            EditableCaptureArea.SetDefault();
            CaptureArea.SetDefault();
            CaptureAreaStyle.SetDefault();
            MiniOutput.SetDefault();
            Hotkeys.SetDefault();
            TargetLanguage.SetDefault();
            LanguageProfiles.SetDefault();
            LanguageFilters.SetDefault();
            ServerInfo.SetDefault();
            KeyInfo.SetDefault();
        }