aboutsummaryrefslogtreecommitdiffstats
path: root/Software/Visual_Studio/SideChains/RealTimeGraphEx/Properties/Settings.Designer.cs
blob: 30ceb37f1b9fd28fd960e4e53d10916762c18eca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
//------------------------------------------------------------------------------
// <auto-generated>
//     This code was generated by a tool.
//     Runtime Version:4.0.30319.42000
//
//     Changes to this file may cause incorrect behavior and will be lost if
//     the code is regenerated.
// </auto-generated>
//------------------------------------------------------------------------------

namespace RealTimeGraphEx.Properties
{
    
    
    [global::System.Runtime.CompilerServices.CompilerGeneratedAttribute()]
    [global::System.CodeDom.Compiler.GeneratedCodeAttribute("Microsoft.VisualStudio.Editors.SettingsDesigner.SettingsSingleFileGenerator", "11.0.0.0")]
    internal sealed partial class Settings : global::System.Configuration.ApplicationSettingsBase
    {
        
        private static Settings defaultInstance = ((Settings)(global::System.Configuration.ApplicationSettingsBase.Synchronized(new Settings())));
        
        public static Settings Default
        {
            get
            {
                return defaultInstance;
            }
        }
    }
}
blic ColumnRulerRenderer(TextView textView) { if (textView == null) throw new ArgumentNullException("textView"); this.pen = new Pen(new SolidColorBrush(DefaultForeground), 1); this.pen.Freeze(); this.textView = textView; this.textView.BackgroundRenderers.Add(this); } public KnownLayer Layer { get { return KnownLayer.Background; } } public void SetRuler(int column, Pen pen) { if (this.column != column) { this.column = column; textView.InvalidateLayer(this.Layer); } if (this.pen != pen) { this.pen = pen; textView.InvalidateLayer(this.Layer); } } public void Draw(TextView textView, System.Windows.Media.DrawingContext drawingContext) { if (column < 1) return; double offset = textView.WideSpaceWidth * column; Size pixelSize = PixelSnapHelpers.GetPixelSize(textView); double markerXPos = PixelSnapHelpers.PixelAlign(offset, pixelSize.Width); markerXPos -= textView.ScrollOffset.X; Point start = new Point(markerXPos, 0); Point end = new Point(markerXPos, Math.Max(textView.DocumentHeight, textView.ActualHeight)); drawingContext.DrawLine(pen, start, end); } } }