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