let popup_file_commands_menu f = match edition_commands_menu_entries f with [] -> () | entries -> GToolbox.popup_menu ~button: 3 ~time: Int32.zero ~entries