<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GtkBrokenProps.OldEditable.S</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> activate : ([> <span class="keywordsign">`</span>oldeditable ], unit <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> copy_clipboard : ([> <span class="keywordsign">`</span>oldeditable ], unit <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> cut_clipboard : ([> <span class="keywordsign">`</span>oldeditable ], unit <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> paste_clipboard : ([> <span class="keywordsign">`</span>oldeditable ], unit <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> move_cursor : ([> <span class="keywordsign">`</span>oldeditable ], int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> move_word : ([> <span class="keywordsign">`</span>oldeditable ], int <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> move_page : ([> <span class="keywordsign">`</span>oldeditable ], int <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> move_to_row : ([> <span class="keywordsign">`</span>oldeditable ], int <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> move_to_column : ([> <span class="keywordsign">`</span>oldeditable ], int <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">end</span></code></body></html>