IEditor.cs 785 B

123456789101112131415161718192021222324252627282930
  1. // $Id$
  2. using DataStructures;
  3. using Gdk;
  4. using Gtk;
  5. public interface IEditor
  6. {
  7. /// <summary>
  8. /// Draw it
  9. /// </summary>
  10. /// <param name="cliprect">
  11. /// The area that is visible in the <see cref="RenderView"/>
  12. /// we are drawing to. Check with this to see if you can skip
  13. /// drawing.
  14. /// </param>
  15. void Draw(Gdk.Rectangle cliprect);
  16. void OnMouseButtonPress(Vector mousePos, int button, ModifierType Modifiers);
  17. void OnMouseButtonRelease(Vector mousePos, int button, ModifierType Modifiers);
  18. void OnMouseMotion(Vector mousePos, ModifierType Modifiers);
  19. event RedrawEventHandler Redraw;
  20. }
  21. public delegate void RedrawEventHandler();
  22. public interface IEditorCursorChange
  23. {
  24. event CursorChangeHandler CursorChange;
  25. }
  26. public delegate void CursorChangeHandler(Cursor cursor);