public override bool SaveOptions()
        {
            CodeEditorOptions options = CodeEditorOptions.Instance;

            options.FontFamily = fontSelectionPanel.SelectedFontName;
            options.FontSize   = SDFontSizeConverter.ToPoints(fontSelectionPanel.SelectedFontSize);
            return(base.SaveOptions());
        }
        public override void LoadOptions()
        {
            base.LoadOptions();
            CodeEditorOptions options = CodeEditorOptions.Instance;

            fontSelectionPanel.SelectedFontName = options.FontFamily;
            fontSelectionPanel.SelectedFontSize = SDFontSizeConverter.FromPoints(options.FontSize);
        }
        public override void LoadOptions()
        {
            base.LoadOptions();
            CodeEditorOptions options = CodeEditorOptions.Instance;

            fontSelectionPanel.CurrentFont = WinFormsResourceService.LoadFont(
                options.FontFamily, (int)Math.Round(options.FontSize * 72.0 / 96.0));
        }
		public SharpDevelopTextEditor()
		{
			AvalonEditDisplayBinding.RegisterAddInHighlightingDefinitions();
			
			this.CommandBindings.Add(new CommandBinding(ApplicationCommands.Print, OnPrint));
			this.CommandBindings.Add(new CommandBinding(ApplicationCommands.PrintPreview, OnPrintPreview));
			
			options = ICSharpCode.AvalonEdit.AddIn.Options.CodeEditorOptions.Instance;
			options.BindToTextEditor(this);
		}
        public override bool SaveOptions()
        {
            CodeEditorOptions options = CodeEditorOptions.Instance;
            var font = fontSelectionPanel.CurrentFont;

            if (font != null)
            {
                options.FontFamily = font.Name;
                options.FontSize   = Math.Round(font.Size * 96.0 / 72.0);
            }
            return(base.SaveOptions());
        }