set_theme

Description:

public void set_theme (ShortcutTheme theme)

Sets the theme for the shortcut manager.

Parameters:

this

An ShortcutManager
theme

An ShortcutTheme