diff options
Diffstat (limited to 'trunk/glibIvy.ml')
| -rw-r--r-- | trunk/glibIvy.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/trunk/glibIvy.ml b/trunk/glibIvy.ml deleted file mode 100644 index 17919c5..0000000 --- a/trunk/glibIvy.ml +++ /dev/null @@ -1,8 +0,0 @@ - -type channel -external main : unit -> unit = "ivy_GtkmainLoop" -external ext_channelSetUp : Unix.file_descr -> string -> channel = "ivy_GtkchannelSetUp" -let set_up_channel fd delete read = - ext_channelSetUp fd (Ivy.cb_register read) -external close_channel : channel -> unit = "ivy_GtkchannelClose" - |