Example #1
0
        public Handwriting(Paper p) : base()
        {
            AppPaintable = true;
            Events = EventMask.ExposureMask | EventMask.ButtonPressMask |
                     EventMask.ButtonReleaseMask | EventMask.PointerMotionMask;
            ExtensionEvents = ExtensionMode.Cursor;

            Paper = p;

            // TODO: How do you shut the mouse cursor up?  If they're using a
            // tablet, there should be no cursor at all.  At worst, a little
            // black dot representing the pen size and color, but I'd prefer
            // no cursor at all.  If they're using a mouse, then the little
            // dot can stay.
//            GdkWindow.Cursor = Cursor.NewFromName(Display.Default, "Clock");
        }
Example #2
0
        public Handwriting() : base()
        {
            strokes = new List<CairoStroke>();
            undo = 0;
            AppPaintable = true;
            Events = EventMask.ExposureMask | EventMask.ButtonPressMask |
                     EventMask.ButtonReleaseMask | EventMask.PointerMotionMask;
            ExtensionEvents = ExtensionMode.Cursor;

            paper = new NotebookPaper(White);

            penStyle = new PenStyle();
            penStyle.PenColor = new Cairo.Color(0.0,0.0,1.0,1.0);
            penStyle.PenSize  = 3.0;

            eraserStyle = new PenStyle();
            eraserStyle.PenColor = paperColor;
            eraserStyle.PenSize  = 10.0;

//            GdkWindow.Cursor = Cursor.NewFromName(Display.Default, "Clock");
        }
Example #3
0
        public void Deserialize(XmlTextReader xml)
        {
            Clear();

            while(xml.Read()) {
                switch(xml.NodeType) {
                case XmlNodeType.Element:
                    if(xml.Name == "handwriting-data") {
                        break;
                    } else if(xml.Name == "paper") {
                        paper = Paper.Deserialize(xml);
                    } else if(xml.Name == "strokes") {
                        while(xml.Read()) {
                            if(xml.NodeType == XmlNodeType.Element &&
                                xml.Name == "stroke") {
                                CairoStroke stroke = new CairoStroke(xml);
                                countPoints += stroke.Count;
                                strokes.Add(stroke);
                            } else if(xml.NodeType == XmlNodeType.EndElement) {
                                break;
                            }
                        }
                    } else {
                        Console.WriteLine("Ignoring Unknown XML Element: {0}",
                            xml.Name);
                    }
                    break;
                }
            }
        }