denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

nitpicker: Remove unused hover_reported variables

Browse Source 
Fix for unused private member variable warning reported by clang.

Issue #3950
This commit is contained in:
Piotr Tworek
2020-11-13 00:15:17 +01:00
committed by Christian Helmuth
parent cc193a9155
commit cc7de65c9e
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/server/nitpicker/main.cc
View File

@@ -81,7 +81,6 @@ class Nitpicker::Gui_root : public Root_component<Gui_session>,
View &_pointer_origin; View &_pointer_origin;
View &_builtin_background; View &_builtin_background;
Reporter &_focus_reporter; Reporter &_focus_reporter;
Reporter &_hover_reporter;
Focus_updater &_focus_updater; Focus_updater &_focus_updater;
Hover_updater &_hover_updater; Hover_updater &_hover_updater;
@@ -156,7 +155,6 @@ class Nitpicker::Gui_root : public Root_component<Gui_session>,
View &builtin_background, View &builtin_background,
Allocator &md_alloc, Allocator &md_alloc,
Reporter &focus_reporter, Reporter &focus_reporter,
Reporter &hover_reporter,
Focus_updater &focus_updater, Focus_updater &focus_updater,
Hover_updater &hover_updater) Hover_updater &hover_updater)
: :
@@ -166,8 +164,8 @@ class Nitpicker::Gui_root : public Root_component<Gui_session>,
_view_stack(view_stack), _user_state(user_state), _view_stack(view_stack), _user_state(user_state),
_pointer_origin(pointer_origin), _pointer_origin(pointer_origin),
_builtin_background(builtin_background), _builtin_background(builtin_background),
_focus_reporter(focus_reporter), _hover_reporter(hover_reporter), _focus_reporter(focus_reporter), _focus_updater(focus_updater),
_focus_updater(focus_updater), _hover_updater(hover_updater) _hover_updater(hover_updater)
{ } { }
@@ -467,7 +465,7 @@ struct Nitpicker::Main : Focus_updater, Hover_updater,
Gui_root _gui_root { _env, _config_rom, _session_list, *_domain_registry, Gui_root _gui_root { _env, _config_rom, _session_list, *_domain_registry,
_global_keys, _view_stack, _user_state, _pointer_origin, _global_keys, _view_stack, _user_state, _pointer_origin,
_builtin_background, _sliced_heap, _builtin_background, _sliced_heap,
_focus_reporter, _hover_reporter, *this, *this }; _focus_reporter, *this, *this };
Capture_root _capture_root { _env, _sliced_heap, _view_stack, *this }; Capture_root _capture_root { _env, _sliced_heap, _view_stack, *this };