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