mirror of
https://github.com/RGBCube/serenity
synced 2025-10-31 11:12:45 +00:00
0a3467d665
This patch fixes the issue of pressing the ok button of a settings menu without saving the changes, or not reverting the changes when pressing the cancel button because the app has died before the new values make it to the other end.
18 lines
818 B
Text
18 lines
818 B
Text
endpoint ConfigServer
|
|
{
|
|
pledge_domains(Vector<String> domains) =|
|
|
|
|
monitor_domain(String domain) =|
|
|
|
|
list_config_groups(String domain) => (Vector<String> groups)
|
|
list_config_keys(String domain, String group) => (Vector<String> keys)
|
|
|
|
read_string_value(String domain, String group, String key) => (Optional<String> value)
|
|
read_i32_value(String domain, String group, String key) => (Optional<i32> value)
|
|
read_bool_value(String domain, String group, String key) => (Optional<bool> value)
|
|
|
|
write_string_value(String domain, String group, String key, String value) => ()
|
|
write_i32_value(String domain, String group, String key, i32 value) => ()
|
|
write_bool_value(String domain, String group, String key, bool value) => ()
|
|
remove_key(String domain, String group, String key) =|
|
|
}
|