private void changeTheme(string themeName)
{
if (r2pw != null)
{
r2pw.set_theme(themeName);
r2pw.sendToWebBrowser("dissasembly", null, null, null);
r2pw.sendToWebBrowser("hexview", null, null, null);
r2pw.sendToWebBrowser("r2help", null, null, null);
UpdateGUI();
}
} // themes
