// Allocate a new format identifier. private static int AllocID(String format) { IToolkitClipboard clipboard = ToolkitManager.Toolkit.GetClipboard(); if (clipboard != null) { int id = clipboard.RegisterFormat(format); if (id != -1) { return(id); } } Format info = formats; int max = 0; while (info != null) { if (info.Id > max) { max = info.Id; } info = info.Next; } return(max + 1); }
// Set the contents of the X selection. internal static void SetSelection(String text, int index, int count) { IToolkitClipboard clipboard = ToolkitManager.Toolkit.GetClipboard(); if (clipboard != null) { clipboard.SetSelection(text, index, count); } }
// Get the contents of the X selection, or null if none. See the // comments in "IToolkitClipboard.cs" for a description of the correct // usage of the X selection. internal static String GetSelection() { IToolkitClipboard clipboard = ToolkitManager.Toolkit.GetClipboard(); if (clipboard != null) { return(clipboard.GetSelection()); } else { return(null); } }
// Get the name of an existing format identifier. private static String GetFormatName(int id) { IToolkitClipboard clipboard = ToolkitManager.Toolkit.GetClipboard(); if (clipboard != null) { String format = clipboard.GetFormat(id); if (format != null) { return(format); } } return("Format" + id.ToString()); }