<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GtkSourceViewProps.SourceBuffer.S</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> can_redo : ([> <span class="keywordsign">`</span>sourcebuffer ], bool <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> can_undo : ([> <span class="keywordsign">`</span>sourcebuffer ], bool <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> highlight_updated :<br> ([> <span class="keywordsign">`</span>sourcebuffer ], <span class="constructor">Gtk</span>.text_iter <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.text_iter <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">val</span> marker_updated :<br> ([> <span class="keywordsign">`</span>sourcebuffer ], <span class="constructor">Gtk</span>.text_iter <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t<br> <span class="keyword">end</span></code></body></html>