let modules_window = ref (None : (GWindow.window * string GList.clist * GEdit.combo * string list) option)