#include <drgui_options_interface.h>
Inherits QWidget.
Interface for tools' options pages that are to be accessed by drgui's preferences dialog. The page will be accessed by drgui's preferences dialog through drgui_tool_interface_t's create_options_page() method.
◆ read_settings()
virtual void drgui_options_interface_t::read_settings |
( |
void |
| ) |
|
|
pure virtual |
Reads the settings for the options page. Called by drgui_options_window_t for each tool on load, and when the cancel button is pressed. The tool will decide how it wants to handle its settings' persistence.
◆ tool_names()
virtual QStringList drgui_options_interface_t::tool_names |
( |
void |
| ) |
const |
|
pure virtual |
Returns a list of the names of the tools that are supported by the options page. The names are used for accessing the different options pages via the list widget in drgui's preferences dialog, and must be unique.
◆ write_settings()
virtual void drgui_options_interface_t::write_settings |
( |
void |
| ) |
|
|
pure virtual |
Writes the settings for the options page. Called by drgui_options_window_t for each tool when the save button is pressed. The tool will decide how it wants to handle its settings' persistence.
The documentation for this class was generated from the following file:
- /dynamorio_package/ext/drgui/drgui_options_interface.h