<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <link rel="next" href="GMain.Grab.html"> <link rel="Up" href="GMain.html"> <title>LablGTK : GMain.Main</title> </head> <body> <div class="navbar"> <a href="GMain.html">Up</a> <a href="GMain.Grab.html">Next</a> </div> <center><h1>Module <a href="type_GMain.Main.html">GMain.Main</a></h1></center> <br> <pre><span class="keyword">module</span> Main: <code class="code">sig</code> <a href="GMain.Main.html">..</a> <code class="code">end</code></pre><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/gtk-General.html">gtk-General</a></small><hr width="100%"> <pre><span class="keyword">val</span> <a name="VALinit"></a>init : <code class="type">?setlocale:bool -> unit -> string</code></pre><div class="info"> <code class="code">init</code> also sets the locale and returns its name. Either set <code class="code">~setlocale</code> to <code class="code">false</code> or GTK_SETLOCALE to "0" if you don't want to the locale to be set<br> </div> <pre><span class="keyword">val</span> <a name="VALmain"></a>main : <code class="type">unit -> unit</code></pre><div class="info"> <code class="code">main</code> runs the main loop, until <code class="code">quit</code> is called. <em>Do not use in multi-threaded programs.</em><br> </div> <pre><span class="keyword">val</span> <a name="VALquit"></a>quit : <code class="type">unit -> unit</code></pre><div class="info"> quit the main loop<br> </div> <pre><span class="keyword">val</span> <a name="VALversion"></a>version : <code class="type">int * int * int</code></pre><div class="info"> <code class="code">major, minor, micro</code><br> </div> </body></html>