protected override void OnDestroyed()
 {
     if (handCursor != null)
     {
         handCursor.Dispose();
         handCursor = null;
     }
     base.OnDestroyed();
 }
Beispiel #2
0
 public virtual void Dispose()
 {
     if (cursor != null)
     {
         cursor.Dispose();
         cursor = null;
     }
     PurgeLayoutCache();
     PurgeGCs();
 }
Beispiel #3
0
        private void HideCursor()
        {
            if (Window == null)
            {
                return;
            }

            Gdk.Cursor cursor = new Gdk.Cursor(Gdk.CursorType.BlankCursor);

            Window.Cursor = cursor;

            cursor.Dispose();
        }
Beispiel #4
0
 public void Dispose()
 {
     editor.EditorOptionsChanged -= HandleEditorEditorOptionsChanged;
     if (textWidthDictionary != null)
     {
         foreach (var l in textWidthDictionary.Values)
         {
             l.Layout.Dispose();
         }
     }
     if (fontDescription != null)
     {
         fontDescription.Dispose();
         fontDescription = null;
     }
     arrowCursor.Dispose();
 }
Beispiel #5
0
        private void HideCursor()
        {
            if (GdkWindow == null)
            {
                return;
            }

            Gdk.Pixmap pixmap = Gdk.Pixmap.CreateBitmapFromData(GdkWindow, "0x0", 1, 1);
            if (pixmap == null)
            {
                return;
            }

            UpdateHiddenCursorPosition();
            cursor_is_hidden = true;

            Gdk.Color  color  = new Gdk.Color(0, 0, 0);
            Gdk.Cursor cursor = new Gdk.Cursor(pixmap, pixmap, color, color, 0, 0);

            GdkWindow.Cursor = cursor;

            pixmap.Dispose();
            cursor.Dispose();
        }
Beispiel #6
0
        private void HideCursor()
        {
            if (Window == null) {
                return;
            }

            Gdk.Cursor cursor = new Gdk.Cursor (Gdk.CursorType.BlankCursor);

            Window.Cursor = cursor;

            cursor.Dispose ();
        }
Beispiel #7
0
        private void HideCursor ()
        {
            if (GdkWindow == null) {
                return;
            }

            Gdk.Pixmap pixmap = Gdk.Pixmap.CreateBitmapFromData (GdkWindow, "0x0", 1, 1);
            if (pixmap == null) {
                return;
            }

            UpdateHiddenCursorPosition ();
            cursor_is_hidden = true;

            Gdk.Color color = new Gdk.Color (0, 0, 0);
            Gdk.Cursor cursor = new Gdk.Cursor (pixmap, pixmap, color, color, 0, 0);

            GdkWindow.Cursor = cursor;

            pixmap.Dispose ();
            cursor.Dispose ();
        }