<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GWindow.Buttons</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> ok : [> <span class="keywordsign">`</span><span class="constructor">OK</span> ] <span class="constructor">GWindow</span>.buttons<br> <span class="keyword">val</span> close : [> <span class="keywordsign">`</span><span class="constructor">CLOSE</span> ] <span class="constructor">GWindow</span>.buttons<br> <span class="keyword">val</span> yes_no : [> <span class="keywordsign">`</span><span class="constructor">NO</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">YES</span> ] <span class="constructor">GWindow</span>.buttons<br> <span class="keyword">val</span> ok_cancel : [> <span class="keywordsign">`</span><span class="constructor">CANCEL</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">OK</span> ] <span class="constructor">GWindow</span>.buttons<br> <span class="keyword">type</span> color_selection = [ <span class="keywordsign">`</span><span class="constructor">CANCEL</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DELETE_EVENT</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">HELP</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">OK</span> ]<br> <span class="keyword">type</span> file_selection = [ <span class="keywordsign">`</span><span class="constructor">CANCEL</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DELETE_EVENT</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">HELP</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">OK</span> ]<br> <span class="keyword">type</span> font_selection = [ <span class="keywordsign">`</span><span class="constructor">APPLY</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">CANCEL</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DELETE_EVENT</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">OK</span> ]<br> <span class="keyword">type</span> about = [ <span class="keywordsign">`</span><span class="constructor">CANCEL</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">CLOSE</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DELETE_EVENT</span> ]<br> <span class="keyword">end</span></code></body></html>