static public void DeleteMarker(this ScintillaGateway document, IntPtr handle)
 {
     document.MarkerDeleteHandle(handle.ToInt32());
 }