Line 6:
Line 6:
*[[platform.window:height|height]] : Returns the height in pixel of the current display window.
*[[platform.window:height|height]] : Returns the height in pixel of the current display window.
−
*[[platform.window.invalidate|invalidate]] : invalidates [a region of] the window by firing the [[on.paint]] event.
+
*[[platform.window:invalidate|invalidate]] : invalidates [a region of] the window by firing the [[on.paint]] event.
*[[platform.window:width|width]] : Returns the width in pixel of the current display window.
*[[platform.window:width|width]] : Returns the width in pixel of the current display window.
[[Category:platform]]
[[Category:platform]]