def _playback_panel(): extras = [] lab = widgetset.Label(_("Renderer options:")) lab.set_bold(True) extras.append(align_left(lab)) grid = dialogwidgets.ControlGrid() note = dialogwidgets.note( _("You must restart %(appname)s for renderer " "changes to take effect.", {"appname": app.config.get(prefs.SHORT_APP_NAME)})) grid.pack(align_left(note, bottom_pad=12), grid.ALIGN_LEFT, span=2) grid.end_line(spacing=12) rbg = widgetset.RadioButtonGroup() radio_map = {} for mem in renderers.get_renderer_list(): radio_map[mem] = widgetset.RadioButton(mem, rbg) buttons = [(v, k) for k, v in radio_map.items()] attach_radio(buttons, options.USE_RENDERER) grid.pack_label(_("Video renderer:"), grid.ALIGN_RIGHT) grid.pack(dialogwidgets.radio_button_list(*radio_map.values())) grid.end_line(spacing=12) extras.append(align_left(grid.make_table())) return extras
def get_platform_specific(panel_name): if panel_name == "general": return _general_panel() elif panel_name == "playback": if len(renderers.get_renderer_list()) > 1: return _playback_panel() elif panel_name == "conversions": return _conversions_panel()