comparison mde/gui/widget/Ifaces.d @ 36:57d000574d75

Enabled drawing on demand, and made the polling interval configurable. Renamed mde.global to mde.imde. Enabled drawing on demand. Allowed options to take double values. Made the main loop's polling interval (sleep duration) settable from config files. committer: Diggory Hardy <diggory.hardy@gmail.com>
author Diggory Hardy <diggory.hardy@gmail.com>
date Fri, 02 May 2008 17:38:43 +0100
parents 6b4116e6355c
children 052df9b2fe07
comparison
equal deleted inserted replaced
35:928db3c75ed3 36:57d000574d75
40 //NOTE: possibly revise: parent isn't actually used any more 40 //NOTE: possibly revise: parent isn't actually used any more
41 IWidget makeWidget (widgetID i, IWidget parent); 41 IWidget makeWidget (widgetID i, IWidget parent);
42 42
43 /** Get the managing Gui. */ 43 /** Get the managing Gui. */
44 IGui gui (); 44 IGui gui ();
45
46 /+ Currently draw-on-event isn't used.
47 /** Called by a sub-widget when a redraw is necessary (since drawing may sometimes be done on
48 * event. */
49 void requestRedraw ();+/
50 45
51 /** Get the window's renderer. 46 /** Get the window's renderer.
52 * 47 *
53 * Normally specific to the GUI, but widgets have no direct contact with the GUI and this 48 * Normally specific to the GUI, but widgets have no direct contact with the GUI and this
54 * provides the possibility of per-window renderers (if desired). */ 49 * provides the possibility of per-window renderers (if desired). */