Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-24 13:55:51 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

expand and scroll to bottom for the second console

Browse Source
This commit is contained in:
Pascal Brisset
2007-07-13 13:10:38 +00:00
parent 106a8814ff
commit 78033eec15
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/paparazzicenter.glade
+1 -1
View File
@@ -1891,7 +1891,7 @@
</widget>
<packing>
<property name="padding">0</property>
<property name="expand">True</property>
<property name="expand">False</property>
<property name="fill">True</property>
</packing>
</child>
sw/supervision/paparazzicenter.ml
+2 -1
View File
@@ -96,7 +96,8 @@ let () =
(* Scroll to the bottom line *)
let end_iter = gui#console#buffer#end_iter in
let end_mark = gui#console#buffer#create_mark end_iter in
gui#console#scroll_mark_onscreen (`MARK end_mark) in
gui#console#scroll_mark_onscreen (`MARK end_mark);
gui#console_cp#scroll_mark_onscreen (`MARK end_mark) in
AC.build_handler gui ac_combo target_combo log;