Jacket
Search the docs
/
API
Tools
Playground
main
X11 module
← X11
Wrappers
init_global_display
enable_drag_and_drop
x_selection_notify_predicate
x_release_clipboard_data
x_toolkit_create_simple_window
x_demand_attention
x_message_box
x_draw_textpanel
x_draw_button
x_draw_string
x_color_to_pixel
x_lock_window_size
x_window_is_ours
xdnd_context_reset
On this page
See also
std
/
X11
/
x_selection_notify_predicate
x_selection_notify_predicate
procedure
since 0.31.0
Source
x_selection_notify_predicate
:: ( display: *
Display
, event: *
XEvent
, arg:
XPointer
) ->
Bool
#c_call
Parameters
display
:
*
Display
event
:
*
XEvent
arg
:
XPointer
Returns
Bool
See also
init_global_display
enable_drag_and_drop
x_release_clipboard_data
x_toolkit_create_simple_window