device_p, wrap_device, unwrap_device);
SCM
- irr_createDevice (SCM deviceType,
- SCM windowSize,
+ irr_createDevice (SCM device_type,
+ SCM window_size,
SCM bits,
SCM fullscreen,
SCM stencilbuffer,
SCM receiver);
SCM
- irr_getGUIEnvironment (SCM wrapped_device);
+ irr_IrrlichtDevice_getGUIEnvironment (SCM device);
SCM
- irr_getSceneManager (SCM wrapped_device);
+ irr_IrrlichtDevice_getSceneManager (SCM device);
SCM
- irr_getVideoDriver (SCM wrapped_device);
+ irr_IrrlichtDevice_getVideoDriver (SCM device);
SCM
- irr_setWindowCaption (SCM wrapped_device,
- SCM text);
+ irr_IrrlichtDevice_setWindowCaption (SCM device,
+ SCM text);
+
+ SCM
+ irr_getTimer (SCM wrapped_device);
+
+ SCM
+ irr_isWindowActive (SCM wrapped_device);
+
+ SCM
+ irr_run (SCM wrapped_device);
+
+ SCM
+ irr_setEventReceiver (SCM wrapped_device,
+ SCM receiver);
+
+ SCM
+ irr_setResizable (SCM wrapped_device,
+ SCM resize);
+
+ SCM
+ irr_yield (SCM wrapped_device);
}