Beispiel #1
0
        private IDisposable CreateRichTextBoxFormatter(ThreadSafeRichTextBoxWrapper textboxWrapper, Color foreColor, Color backColor, FontStyle style)
        {
            Font font = new Font(textboxWrapper.Font, style);
            RichTextBoxFormatter formatter = new RichTextBoxFormatter(textboxWrapper, foreColor, backColor, font);

            return(new DisposableList(formatter, font));
        }
Beispiel #2
0
        private void Save_Click(object sender, RoutedEventArgs e)
        {
            if (string.IsNullOrEmpty(currentFile))
            {
                SaveToFile_Click(null, null);
                return;
            }

            string output = RichTextBoxFormatter.GetFormattedCode(shellTab.GetHistoryCodeWithEnd());

            File.WriteAllText(currentFile, output);
        }
Beispiel #3
0
        private void SaveToFile_Click(object sender, RoutedEventArgs e)
        {
            SaveFileDialog saveFileDialog = new SaveFileDialog();

            saveFileDialog.Filter           = "Text file (*.txt)|*.txt|Script file (*.script)|*.script";
            saveFileDialog.InitialDirectory = Environment.GetFolderPath(Environment.SpecialFolder.MyDocuments);

            if (saveFileDialog.ShowDialog() == true)
            {
                string output = RichTextBoxFormatter.GetFormattedCode(shellTab.GetHistoryCodeWithEnd());
                File.WriteAllText(saveFileDialog.FileName, output);
                currentFile = saveFileDialog.FileName;
            }
        }
        private IDisposable CreateRichTextBoxFormatter(ThreadSafeRichTextBoxWrapper textboxWrapper, Color foreColor, Color backColor, FontStyle style)
        {
            Font font = new Font(textboxWrapper.Font, style);
            RichTextBoxFormatter formatter = new RichTextBoxFormatter(textboxWrapper, foreColor, backColor, font);

            return new DisposableList(formatter, font);
        }
Beispiel #5
0
 public GeneratedCodeTab(string code)
 {
     InitializeComponent();
     RichTextBoxFormatter.LoadRichTextBox(richTxtBox_GeneratedCode, code);
     RichTextBoxFormatter.FormatCode(richTxtBox_GeneratedCode); //Load and format to richtextbox
 }
        /// <summary>
        /// Clears and updates the contents.
        /// </summary>
        private void HighlightContents()
        {
            if (_richTextBox != null)
            {
                _richTextBox.Blocks.Clear();

                if (!string.IsNullOrEmpty(Text))
                {
                    RichTextBoxFormatter rtbf = new RichTextBoxFormatter(_richTextBox);

                    CodeColorizer cc;
                    if (_colorizer != null && _colorizer.IsAlive)
                    {
                        cc = (CodeColorizer)_colorizer.Target;
                    }
                    else
                    {
                        cc = new CodeColorizer();
                        _colorizer = new WeakReference(cc);
                    }

                    ILanguage language = CreateLanguageInstance(SourceLanguage);
                    cc.Colorize(Text, language, rtbf, new DefaultStyleSheet());
                }
            }
        }