- int linux_window; /* The plugin's parent X11 XWindow */
- int linux_plugin_ui_window; /*The ID of the plugin UI window created by the plugin*/
+ int linux_window; ///< The plugin's parent X11 XWindow
+ int linux_plugin_ui_window; ///< The ID of the plugin UI window created by the plugin