genode/repos/libports/include/qgenodeviewwidget
Norman Feske 24378ac873 gui_session: rename View_handle to View_id
The former Gui::Session::View_handle is not called Gui::View_id.

Issue #5242
2024-08-27 15:29:38 +02:00
..
qgenodeviewwidget.h gui_session: rename View_handle to View_id 2024-08-27 15:29:38 +02:00