2014-07-01-20.28.04: src/lib/x-kit/widget/gui/guiboss-imp.pkg: Topwindow_Info now also tracks current_frame_number, seconds_per_frame, look_to_gui, space_to_gui.