diff options
author | Christian Persch <chpe@src.gnome.org> | 2022-08-26 22:10:31 +0200 |
---|---|---|
committer | Christian Persch <chpe@src.gnome.org> | 2022-08-26 22:10:31 +0200 |
commit | 0ebf9a5a442f6fd60d9cc9cc56dc15659cc31c95 (patch) | |
tree | fa2f7cbc6de6d6aeccd8b6058cfe351445afd705 /src/terminal-profiles-list.hh | |
parent | 4e3016e0493538ccb399e613e90d8d0cd2ae874c (diff) | |
download | gnome-terminal-0ebf9a5a442f6fd60d9cc9cc56dc15659cc31c95.tar.gz |
prefs: Make preferences dialogue OOP
Diffstat (limited to 'src/terminal-profiles-list.hh')
-rw-r--r-- | src/terminal-profiles-list.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/terminal-profiles-list.hh b/src/terminal-profiles-list.hh index d8323751..afd8da50 100644 --- a/src/terminal-profiles-list.hh +++ b/src/terminal-profiles-list.hh @@ -25,7 +25,8 @@ G_BEGIN_DECLS -TerminalSettingsList *terminal_profiles_list_new(GSettingsSchemaSource* schema_source); +TerminalSettingsList *terminal_profiles_list_new(GSettingsBackend* backend, + GSettingsSchemaSource* schema_source); GList *terminal_profiles_list_ref_children_sorted (TerminalSettingsList *list); |