Exemple #1
0
        static TextHelper()
        {
            DataSourceFilenameForegroundBrush = new SolidColorBrush(Color.FromRgb(128, 128, 128));
            DataSourceFilenameForegroundBrush.Freeze();

            DataSourceCharacterCodeForegroundBrush = new SolidColorBrush(Color.FromRgb(43, 145, 175));
            DataSourceCharacterCodeForegroundBrush.Freeze();

            TraceForegroundBrush = new SolidColorBrush(Color.FromRgb(128, 128, 128));
            TraceForegroundBrush.Freeze();

            DebugForegroundBrush = TraceForegroundBrush;

            NormalBackgroundBrush = new BrushHelper(null, Color.FromRgb(0xE8, 0xF1, 0xF7));
            NormalForegroundBrush = Brushes.Black;

            NormalHighlightBackgroundBrush = new SolidColorBrush(Color.FromRgb(242, 242, 242));
            NormalHighlightBackgroundBrush.Freeze();

            WarningBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 195, 0));
            WarningBackgroundBrush.Freeze();

            WarningHighlightBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 218, 142));
            WarningHighlightBackgroundBrush.Freeze();

            ErrorBackgroundBrush = new SolidColorBrush(Color.FromRgb(232, 17, 35));
            ErrorBackgroundBrush.Freeze();

            ErrorHighlightBackgroundBrush = new SolidColorBrush(Color.FromRgb(250, 108, 118));
            ErrorHighlightBackgroundBrush.Freeze();

            ErrorForegroundBrush = Brushes.White;

            HoveredForegroundBrush  = Brushes.Black;
            SelectedBackgroundBrush = new SolidColorBrush(Color.FromRgb(57, 152, 214));
            SelectedBackgroundBrush.Freeze();

            SelectedUnfocusedBackgroundBrush = new SolidColorBrush(Color.FromRgb(215, 215, 215));
            SelectedUnfocusedBackgroundBrush.Freeze();

            HighlightedForegroundBrush = Brushes.Black;
            HighlightedBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 255, 77));

            HighlightedSelectedForegroundBrush = Brushes.Black;
            HighlightedSelectedBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 150, 50));

            SelectedForegroundBrush   = Brushes.White;
            LineNumberForegroundBrush = new SolidColorBrush(Color.FromRgb(43, 145, 175));
            LineNumberForegroundBrush.Freeze();
        }
Exemple #2
0
        static TextHelper()
        {
            DataSourceFilenameForegroundBrush = new SolidColorBrush(Color.FromRgb(128, 128, 128));
            DataSourceFilenameForegroundBrush.Freeze();

            DataSourceCharacterCodeForegroundBrush = new SolidColorBrush(Color.FromRgb(43, 145, 175));
            DataSourceCharacterCodeForegroundBrush.Freeze();

            TraceForegroundBrush = new SolidColorBrush(Color.FromRgb(128, 128, 128));
            TraceForegroundBrush.Freeze();

            DebugForegroundBrush = TraceForegroundBrush;

            NormalBackgroundBrush = new BrushHelper(null, Color.FromRgb(0xE8, 0xF1, 0xF7));
            NormalForegroundBrush = Brushes.Black;

            NormalHighlightBackgroundBrush = new SolidColorBrush(Color.FromRgb(242, 242, 242));
            NormalHighlightBackgroundBrush.Freeze();

            WarningBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 195, 0));
            WarningBackgroundBrush.Freeze();

            WarningHighlightBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 218, 142));
            WarningHighlightBackgroundBrush.Freeze();

            ErrorBackgroundBrush = new SolidColorBrush(Color.FromRgb(232, 17, 35));
            ErrorBackgroundBrush.Freeze();

            ErrorHighlightBackgroundBrush = new SolidColorBrush(Color.FromRgb(250, 108, 118));
            ErrorHighlightBackgroundBrush.Freeze();

            ErrorForegroundBrush = Brushes.White;

            HoveredForegroundBrush  = Brushes.Black;
            SelectedBackgroundBrush = new SolidColorBrush(Color.FromRgb(57, 152, 214));
            SelectedBackgroundBrush.Freeze();

            SelectedUnfocusedBackgroundBrush = new SolidColorBrush(Color.FromRgb(215, 215, 215));
            SelectedUnfocusedBackgroundBrush.Freeze();

            HighlightedForegroundBrush = Brushes.Black;
            HighlightedBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 255, 77));

            HighlightedSelectedForegroundBrush = Brushes.Black;
            HighlightedSelectedBackgroundBrush = new SolidColorBrush(Color.FromRgb(255, 150, 50));

            SelectedForegroundBrush   = Brushes.White;
            LineNumberForegroundBrush = new SolidColorBrush(Color.FromRgb(43, 145, 175));
            LineNumberForegroundBrush.Freeze();

            FontFamily family = PickFontFamily();

            Typeface = new Typeface(family, FontStyles.Normal, FontWeights.Normal, FontStretches.Normal);

            GlyphTypeface test;

            Typeface.TryGetGlyphTypeface(out test);

            ushort glyphIndex = test.CharacterToGlyphMap[' '];

            GlyphWidth = test.AdvanceWidths[glyphIndex] * FontSize;
            TabWidth   = new FormattedText("s\t", CultureInfo.CurrentUICulture,
                                           FlowDirection.LeftToRight,
                                           Typeface,
                                           FontSize,
                                           Brushes.Black).Width;
        }