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 _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()
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()
