Mthread_gui.Mt_gui
type ui = Frama_c_gui.Design.main_window_extension_points
val register_thread_hook : (ui -> Mthread.Mt_thread.thread_state -> unit) -> unit
Registers a hook called when the user selects a thread in the menu.