Parent Directory | Revision Log | Patch
revision 1.1 by spiralvoice, Wed Mar 2 19:45:11 2005 UTC | revision 1.2 by spiralvoice, Mon Oct 31 18:34:01 2005 UTC | |
---|---|---|
# | Line 92 let _ = | Line 92 let _ = |
92 | ignore (text_buffer#connect#changed ~callback: | ignore (text_buffer#connect#changed ~callback: |
93 | (fun _ -> | (fun _ -> |
94 | let nlines = text_buffer#line_count in | let nlines = text_buffer#line_count in |
(* Printf.printf "Buffer modified %d\n" nlines; | ||
flush stdout; *) | ||
95 | if nlines > 1000 | if nlines > 1000 |
96 | then begin | then begin |
97 | let stop = text_buffer#get_iter `END in | let stop = text_buffer#get_iter `END in |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |