diff --git a/sw/supervision/paparazzicenter.glade b/sw/supervision/paparazzicenter.glade index 772ca5f4c2..4293327105 100644 --- a/sw/supervision/paparazzicenter.glade +++ b/sw/supervision/paparazzicenter.glade @@ -1891,7 +1891,7 @@ 0 - True + False True diff --git a/sw/supervision/paparazzicenter.ml b/sw/supervision/paparazzicenter.ml index 1293744477..5e3f778b41 100644 --- a/sw/supervision/paparazzicenter.ml +++ b/sw/supervision/paparazzicenter.ml @@ -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;