diff mde/gui/IGui.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 b3a6ca4516b4
line wrap: on
line diff
--- a/mde/gui/IGui.d	Fri May 02 16:20:35 2008 +0100
+++ b/mde/gui/IGui.d	Fri May 02 17:38:43 2008 +0100
@@ -26,6 +26,12 @@
     /** Get the Gui's renderer. May be overriden by the window. */
     IRenderer renderer ();
     
+    /** Called by a sub-widget when a redraw is necessary (since drawing may sometimes be done on
+    * event.
+    *
+    * Currently forces the whole Gui to be redrawn. */
+    void requestRedraw ();
+    
     /** Add a mouse click callback: delegate will be called for all mouse click events recieved. */
     void addClickCallback (void delegate (ushort cx, ushort cy, ubyte b, bool state) dg);
     /** Add a mouse motion callback: delegate will be called for all motion events recieved. */