+void GLWidget::show_context_menu(const QPoint &pos)
+{
+ if (output == Mixer::OUTPUT_LIVE) {
+ show_live_context_menu(pos);
+ }
+ if (output >= Mixer::OUTPUT_INPUT0) {
+ int signal_num = global_mixer->get_channel_signal(output);
+ if (signal_num != -1) {
+ show_preview_context_menu(signal_num, pos);
+ }
+ }
+}
+
+void GLWidget::show_live_context_menu(const QPoint &pos)
+{
+ QPoint global_pos = mapToGlobal(pos);
+
+ QMenu menu;
+
+ // Add a submenu for selecting output card, with an action for each card.
+ QMenu card_submenu;
+ fill_hdmi_sdi_output_device_menu(&card_submenu);
+ card_submenu.setTitle("HDMI/SDI output device");
+ menu.addMenu(&card_submenu);
+
+ // Add a submenu for choosing the output resolution. Since this is
+ // card-dependent, it is disabled if we haven't chosen a card
+ // (but it's still there so that the user will know it exists).
+ QMenu resolution_submenu;
+ fill_hdmi_sdi_output_resolution_menu(&resolution_submenu);
+ resolution_submenu.setTitle("HDMI/SDI output resolution");
+ menu.addMenu(&resolution_submenu);
+
+ // Show the menu; if there's an action selected, it will deal with it itself.
+ menu.exec(global_pos);
+}
+
+void GLWidget::show_preview_context_menu(unsigned signal_num, const QPoint &pos)