<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GdkEvent.WindowState</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> t = [ <span class="keywordsign">`</span><span class="constructor">WINDOW_STATE</span> ] <span class="constructor">Gdk</span>.event<br> <span class="keyword">val</span> cast : <span class="constructor">GdkEvent</span>.any <span class="keywordsign">-></span> <span class="constructor">GdkEvent</span>.<span class="constructor">WindowState</span>.t<br> <span class="keyword">external</span> changed_mask : <span class="constructor">GdkEvent</span>.<span class="constructor">WindowState</span>.t <span class="keywordsign">-></span> int<br> = <span class="string">"ml_GdkEventWindowState_changed_mask"</span><br> <span class="keyword">external</span> new_window_state : <span class="constructor">GdkEvent</span>.<span class="constructor">WindowState</span>.t <span class="keywordsign">-></span> int<br> = <span class="string">"ml_GdkEventWindowState_new_window_state"</span><br> <span class="keyword">val</span> changed_mask : <span class="constructor">GdkEvent</span>.<span class="constructor">WindowState</span>.t <span class="keywordsign">-></span> <span class="constructor">Gdk</span>.<span class="constructor">Tags</span>.window_state list<br> <span class="keyword">val</span> new_window_state : <span class="constructor">GdkEvent</span>.<span class="constructor">WindowState</span>.t <span class="keywordsign">-></span> <span class="constructor">Gdk</span>.<span class="constructor">Tags</span>.window_state list<br> <span class="keyword">end</span></code></body></html>