Esempio n. 1
0
            private float MeasureLineHeight(LineSpan line)
            {
                float height = 0.0F;

                foreach (var span in line.TextSpans)
                {
                    styleStack.PushStyle(span.Style);
                    var font = styleStack.GetFont(defaultFont);
                    height = Math.Max(
                        height,
                        font.Height + styleStack.GetNumber(s => s.PaddingTop) +
                        styleStack.GetNumber(s => s.PaddingBottom));
                    styleStack.PopStyle();
                }
                return(height);
            }
Esempio n. 2
0
        private RectangleF CharPositionToClient(Graphics g, TextPointer pos, LayoutSpan span, StyleStack styleStack)
        {
            var iChar = pos.Character;

            styleStack.PushStyle(span.Style);
            var font = styleStack.GetFont(defaultFont);

            var textStub = span.Text.Substring(0, iChar);
            var sz       = MeasureText(g, textStub, font);
            var x        = sz.Width + span.ContentExtent.Left;
            var width    = 1;

            styleStack.PopStyle();

            return(new RectangleF(x, span.ContentExtent.Top, width, span.ContentExtent.Height));
        }
Esempio n. 3
0
 protected override void OnMouseMove(MouseEventArgs e)
 {
     if (Capture && !dragging)
     {
         // We're extending the selection
         var pos = ClientToLogicalPosition(e.Location);
         if (layout.ComparePositions(cursorPos, pos) != 0)
         {
             this.cursorPos = pos;
             Invalidate();
         }
     }
     else
     {
         // Not captured, so rat is just floating over us.
         // Show the right cursor.
         var span = GetSpan(e.Location);
         if (span != null)
         {
             GetStyleStack().PushStyle(StyleClass);
             styleStack.PushStyle(span.Style);
             this.Cursor = styleStack.GetCursor(this);
             styleStack.PopStyle();
             styleStack.PopStyle();
         }
         else
         {
             this.Cursor = Cursors.Default;
         }
         if (span != spanHover)
         {
             if (spanHover != null)
             {
                 SpanLeave.Fire(this, new SpanEventArgs(spanHover));
             }
             spanHover = span;
             if (span != null)
             {
                 SpanEnter.Fire(this, new SpanEventArgs(span));
             }
         }
     }
     base.OnMouseMove(e);
 }
Esempio n. 4
0
        private int GetCharPosition(Graphics g, Point ptClient, LayoutSpan span, StyleStack styleStack)
        {
            var x        = ptClient.X - span.ContentExtent.Left;
            var textStub = span.Text;
            int iLow     = 0;
            int iHigh    = textStub.Length;

            styleStack.PushStyle(span.Style);
            var   font  = styleStack.GetFont(defaultFont);
            var   sz    = MeasureText(g, textStub, font);
            float xLow  = 0;
            float xHigh = sz.Width;

            while (iLow < iHigh - 1)
            {
                int iMid = iLow + (iHigh - iLow) / 2;
                textStub = span.Text.Substring(0, iMid);
                sz       = MeasureText(g, textStub, font);
                if (x < sz.Width)
                {
                    iHigh = iMid;
                    xHigh = sz.Width;
                }
                else
                {
                    iLow = iMid;
                    xLow = sz.Width;
                }
            }
            styleStack.PopStyle();
            var cx = xHigh - xLow;

            if (x - xLow > cx)
            {
                return(iHigh);
            }
            else
            {
                return(iLow);
            }
        }