diff --git a/repos/os/recipes/pkg/clipboard/README b/repos/os/recipes/pkg/clipboard/README new file mode 100644 index 000000000..44cd068fc --- /dev/null +++ b/repos/os/recipes/pkg/clipboard/README @@ -0,0 +1 @@ +Clipboard service diff --git a/repos/os/recipes/pkg/clipboard/archives b/repos/os/recipes/pkg/clipboard/archives new file mode 100644 index 000000000..54ec05523 --- /dev/null +++ b/repos/os/recipes/pkg/clipboard/archives @@ -0,0 +1 @@ +_/src/clipboard diff --git a/repos/os/recipes/pkg/clipboard/hash b/repos/os/recipes/pkg/clipboard/hash new file mode 100644 index 000000000..39cdd0ded --- /dev/null +++ b/repos/os/recipes/pkg/clipboard/hash @@ -0,0 +1 @@ +- diff --git a/repos/os/recipes/pkg/clipboard/runtime b/repos/os/recipes/pkg/clipboard/runtime new file mode 100644 index 000000000..4eae520de --- /dev/null +++ b/repos/os/recipes/pkg/clipboard/runtime @@ -0,0 +1,16 @@ + + + + + + + + + + + + + + + + diff --git a/repos/os/src/server/clipboard/main.cc b/repos/os/src/server/clipboard/main.cc index 4e74902f3..0d8b2e80b 100644 --- a/repos/os/src/server/clipboard/main.cc +++ b/repos/os/src/server/clipboard/main.cc @@ -82,17 +82,28 @@ struct Clipboard::Main : Rom::Module::Read_policy, Rom::Module::Write_policy return _config.xml().attribute_value(attr, false); } - bool verbose = _verbose_config(); + bool verbose { _verbose_config() }; typedef Genode::String<100> Domain; Genode::Attached_rom_dataspace _focus_ds { _env, "focus" }; + Genode::Signal_handler
_config_handler = + { _env.ep(), *this, &Main::_handle_config }; Genode::Signal_handler
_focus_handler = { _env.ep(), *this, &Main::_handle_focus }; Domain _focused_domain { }; + /** + * Handle configuration changes + */ + void _handle_config() + { + _config.update(); + verbose = _verbose_config(); + } + /** * Handle the change of the current nitpicker focus * diff --git a/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config b/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config index c417bd40a..ad1c2a09d 100755 --- a/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config +++ b/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config @@ -67,6 +67,8 @@ + +