let degeneration_occurred ki lv =
Db.Value.mark_as_computed ();
ignore (GtkMain.Main.init ());
let app = new Design.main_window () in
app#main_window#set_title "Degeneration Occurred";
ignore
(Glib.Idle.add ~prio:1000
(fun () ->
let localizable =
(match ki,lv with
| Kstmt st, Some lv ->
let kf = snd (Kernel_function.find_from_sid st.sid) in
select_kf app#file_tree kf;
PLval(Some kf,ki,lv)
| Kstmt st, None ->
let kf = snd (Kernel_function.find_from_sid st.sid) in
select_kf app#file_tree kf;
PStmt(kf,st)
| Kglobal, Some lv ->
PLval(None,ki,lv)
| Kglobal, None -> assert false)
in
to_do_on_select
(new GMenu.factory (GMenu.menu ()))
app
1
localizable;
DegeneratedHighlighted.set (Some localizable);
app#rehighlight ();
app#scroll localizable
;
false));
GMain.Main.main ();
ignore (raise Db.Value.Aborted)